diff --git a/scripts/import_single_file.bash b/scripts/import_single_file.bash index 1f50efc..df8320f 100755 --- a/scripts/import_single_file.bash +++ b/scripts/import_single_file.bash @@ -1,6 +1,5 @@ #!/usr/bin/env bash set -euo pipefail -IFS=$'\n\t' # this script is supposed to apply changes in /sync/{home,root}_external to /sync/{home,root}_external and thus to / resp. ~/ # FIXME!!! WIP diff --git a/scripts/mount_edi.sh b/scripts/mount_edi.sh index 8478411..9ed5648 100755 --- a/scripts/mount_edi.sh +++ b/scripts/mount_edi.sh @@ -1,7 +1,5 @@ #!/usr/bin/env bash - set -euo pipefail -IFS=$'\n\t' source /sync/scripts/mount_general.sh diff --git a/scripts/mount_garrus.sh b/scripts/mount_garrus.sh index 22e555c..1f99015 100755 --- a/scripts/mount_garrus.sh +++ b/scripts/mount_garrus.sh @@ -1,7 +1,5 @@ #!/usr/bin/env bash - set -euo pipefail -IFS=$'\n\t' source /sync/scripts/mount_general.sh diff --git a/scripts/mount_general.sh b/scripts/mount_general.sh index 569e9ad..6e87eba 100755 --- a/scripts/mount_general.sh +++ b/scripts/mount_general.sh @@ -1,7 +1,5 @@ #!/usr/bin/env bash - set -euo pipefail -IFS=$'\n\t' sshMount () { args=($@) diff --git a/scripts/unmount_edi.sh b/scripts/unmount_edi.sh index 62ed985..02c54ea 100755 --- a/scripts/unmount_edi.sh +++ b/scripts/unmount_edi.sh @@ -1,7 +1,5 @@ #!/usr/bin/env bash - set -euo pipefail -IFS=$'\n\t' source /sync/scripts/unmount_general.sh diff --git a/scripts/unmount_garrus.sh b/scripts/unmount_garrus.sh index d92c7ee..9e986df 100755 --- a/scripts/unmount_garrus.sh +++ b/scripts/unmount_garrus.sh @@ -1,7 +1,5 @@ #!/usr/bin/env bash - set -euo pipefail -IFS=$'\n\t' source /sync/scripts/unmount_general.sh diff --git a/scripts/unmount_general.sh b/scripts/unmount_general.sh index 5ca960f..447e74a 100644 --- a/scripts/unmount_general.sh +++ b/scripts/unmount_general.sh @@ -1,7 +1,5 @@ #!/usr/bin/env bash - set -euo pipefail -IFS=$'\n\t' sshUnmount () { args=($@)