diff options
| author | Erich Eckner <git@eckner.net> | 2017-06-20 15:23:06 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2017-06-20 15:23:06 +0200 |
| commit | aeb6b8ae3ce6f573fc2b947366894abf7757e1f5 (patch) | |
| tree | 6c02d87fa54670d57d38f96a50c56c28e5648e94 | |
| parent | d84c4ca6a15a7b1fd716ed23ad184525f805df6e (diff) | |
| download | builder-aeb6b8ae3ce6f573fc2b947366894abf7757e1f5.tar.xz | |
bin/db-update: remove bashism
| -rwxr-xr-x | bin/db-update | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/db-update b/bin/db-update index 2d72456..d3aa106 100755 --- a/bin/db-update +++ b/bin/db-update @@ -318,7 +318,7 @@ clean_up_lock_file() { rm -rf --one-file-system "${tmp_dir}" } -if mountpoint "${master_mirror_sshfs}" &> /dev/null; then +if mountpoint "${master_mirror_sshfs}" > /dev/null 2>&1; then fusermount -u "${master_mirror_sshfs}" fi mount "${master_mirror_sshfs}" |