get users from "users" attribute1.1.0

1 files changed, 1 insertions, 1 deletions

diff --git a/push b/push
index 8a8d859..fc18882 100755
--- a/push
+++ b/push
@@ -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() {