diff options
author | Colin Watson <cjwatson@debian.org> | 2020-05-23 12:46:54 +0100 |
---|---|---|
committer | Colin Watson <cjwatson@debian.org> | 2020-05-23 12:46:54 +0100 |
commit | aef2be11c5ea90bc66e774923e6570213e54c195 (patch) | |
tree | 9dbd33aa7db299c01f925ab39b594588f96ab304 /debian/agent-launch | |
parent | 296562ba187866e518184f1b5316913d5cd52366 (diff) |
Fix or suppress various shellcheck errors under debian/
Diffstat (limited to 'debian/agent-launch')
-rwxr-xr-x | debian/agent-launch | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/debian/agent-launch b/debian/agent-launch index f3cbfaef8..3b2abdbf7 100755 --- a/debian/agent-launch +++ b/debian/agent-launch | |||
@@ -3,6 +3,7 @@ | |||
3 | set -e | 3 | set -e |
4 | 4 | ||
5 | if [ ! -d "$XDG_RUNTIME_DIR" ]; then | 5 | if [ ! -d "$XDG_RUNTIME_DIR" ]; then |
6 | # shellcheck disable=SC2016 | ||
6 | echo 'This needs $XDG_RUNTIME_DIR to be set' >&2 | 7 | echo 'This needs $XDG_RUNTIME_DIR to be set' >&2 |
7 | exit 1 | 8 | exit 1 |
8 | fi | 9 | fi |
@@ -10,8 +11,8 @@ fi | |||
10 | if [ "$1" = start ]; then | 11 | if [ "$1" = start ]; then |
11 | if [ -z "$SSH_AUTH_SOCK" ] && grep -s -q '^use-ssh-agent$' /etc/X11/Xsession.options; then | 12 | if [ -z "$SSH_AUTH_SOCK" ] && grep -s -q '^use-ssh-agent$' /etc/X11/Xsession.options; then |
12 | S="$XDG_RUNTIME_DIR/openssh_agent" | 13 | S="$XDG_RUNTIME_DIR/openssh_agent" |
13 | dbus-update-activation-environment --verbose --systemd SSH_AUTH_SOCK=$S SSH_AGENT_LAUNCHER=openssh | 14 | dbus-update-activation-environment --verbose --systemd SSH_AUTH_SOCK="$S" SSH_AGENT_LAUNCHER=openssh |
14 | exec ssh-agent -D -a $S | 15 | exec ssh-agent -D -a "$S" |
15 | fi | 16 | fi |
16 | elif [ "$1" = stop ]; then | 17 | elif [ "$1" = stop ]; then |
17 | if [ "$SSH_AGENT_LAUNCHER" = openssh ]; then | 18 | if [ "$SSH_AGENT_LAUNCHER" = openssh ]; then |