From 4b634a4a4a9cde2605b0a9c4525ea2ad16ed923a Mon Sep 17 00:00:00 2001 From: Felix Van der Jeugt Date: Tue, 12 Jul 2022 11:27:50 +0200 Subject: [PATCH] use whoami rather than users to get username --- local/bin/keldersay | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/local/bin/keldersay b/local/bin/keldersay index 2168214..8d343d3 100755 --- a/local/bin/keldersay +++ b/local/bin/keldersay @@ -1,2 +1,2 @@ #!/bin/sh -curl -s --header "Content-Type: text/plain" --header "X-Username: $(users)" -d "$*" https://kelder.zeus.ugent.be/messages/ +curl -s --header "Content-Type: text/plain" --header "X-Username: $(whoami)" -d "$*" https://kelder.zeus.ugent.be/messages/