From c5f4bda5bd00bad7778bbd5a9af8d476de0de920 Mon Sep 17 00:00:00 2001
From: tv <tv@shackspace.de>
Date: Tue, 20 Oct 2015 02:38:00 +0200
Subject: get users from "users" attribute

---
 push | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'push')

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() {
-- 
cgit v1.2.3