diff options
| author | Mattia Rizzolo <mattia@debian.org> | 2017-01-02 15:03:48 +0100 |
|---|---|---|
| committer | Holger Levsen <holger@layer-acht.org> | 2017-01-02 15:13:39 +0100 |
| commit | 473aecfd978c63610ad4a6f17be238a80bb7d43e (patch) | |
| tree | b1dc514fe6d25b520aadd8affd073e8898b0d28b | |
| parent | 7196d6e9ef8ee3a112818c25e34d3e5bfa2243fd (diff) | |
| download | jenkins.debian.net-473aecfd978c63610ad4a6f17be238a80bb7d43e.tar.xz | |
lynxis' shell is ish, mattia wants zsh
Signed-off-by: Holger Levsen <holger@layer-acht.org>
| -rwxr-xr-x | update_jdn.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/update_jdn.sh b/update_jdn.sh index bd47cf15..48ceb067 100755 --- a/update_jdn.sh +++ b/update_jdn.sh @@ -90,7 +90,7 @@ user_host_groups['vagrant','arm64']="$sudo_groups" u_shell['mattia']='/bin/zsh' -u_shell['mattia']='/bin/fish' +u_shell['lynxis']='/bin/fish' u_shell['jenkins-adm']='/bin/bash' # get the users out of the user_host_groups array's index |