diff options
| author | Michael Biebl <biebl@debian.org> | 2015-05-05 17:49:11 +0200 |
|---|---|---|
| committer | Michael Biebl <biebl@debian.org> | 2015-05-05 17:49:11 +0200 |
| commit | e847e3cc3e4eded45a358bf838e1edcf4c12fcb5 (patch) | |
| tree | 9db16e390931b9b800a174c7117b9297b351283f /examples/shell/disconnect-device.sh | |
| parent | 1cd35b49de89f65c386ae2ff98a8e08342c080b0 (diff) | |
| parent | f408e27bccfacf347605a8d98649975a68f38a17 (diff) | |
Merge tag 'upstream/1.0.2'
Upstream version 1.0.2
Diffstat (limited to 'examples/shell/disconnect-device.sh')
| -rwxr-xr-x | examples/shell/disconnect-device.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/examples/shell/disconnect-device.sh b/examples/shell/disconnect-device.sh index 045d64d7..e8af42fc 100755 --- a/examples/shell/disconnect-device.sh +++ b/examples/shell/disconnect-device.sh @@ -61,7 +61,7 @@ disconnect_device () fi done - echo "Device with interface '$1' not found." + echo "Device with interface '$1' not found." >&2 return 1 } @@ -70,7 +70,7 @@ disconnect_device () if [ ! -n "$1" ]; then echo "Usage: `basename $0` <interface name>" exit 2 -fi +fi # disconnect device disconnect_device $1 |