diff options
| -rwxr-xr-x | push | 2 | 
1 files changed, 1 insertions, 1 deletions
| @@ -16,7 +16,7 @@ set -efu  STOCKHOLM=${STOCKHOLM-$HOME/stockholm}  my_hosts() { -  (cd "$STOCKHOLM" && get "$LOGNAME" -l | jq -R -s -c 'split("\n")') +  (cd "$STOCKHOLM" && get "users.$LOGNAME" -l | jq -R -s -c 'split("\n")')  }  all_push_hosts() { | 
