diff options
| author | Michael Biebl <biebl@debian.org> | 2015-05-05 17:48:57 +0200 |
|---|---|---|
| committer | Michael Biebl <biebl@debian.org> | 2015-05-05 17:48:57 +0200 |
| commit | f408e27bccfacf347605a8d98649975a68f38a17 (patch) | |
| tree | 654fd6695c31511baf919b1c0870d119a352ed75 /examples/shell/disconnect-device.sh | |
| parent | 2c032d8f1c6292c1338a615e6ec40252889ba85c (diff) | |
Imported Upstream version 1.0.2 upstream/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 |