diff options
Diffstat (limited to 'profiles')
| -rw-r--r-- | profiles/impermanence-fix.patch | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/profiles/impermanence-fix.patch b/profiles/impermanence-fix.patch deleted file mode 100644 index c71a85e..0000000 --- a/profiles/impermanence-fix.patch +++ /dev/null @@ -1,12 +0,0 @@ -diff --git a/create-directories.bash b/create-directories.bash -index 0c7c7f0..b959586 100755 ---- a/create-directories.bash -+++ b/create-directories.bash -@@ -52,7 +52,7 @@ target="${target%/}" - realSource="$(realpath -m "$sourceBase$target")" - if [[ ! -d "$realSource" ]]; then - printf "Warning: Source directory '%s' does not exist; it will be created for you with the following permissions: owner: '%s:%s', mode: '%s'.\n" "$realSource" "$user" "$group" "$mode" -- mkdir --mode="$mode" "$realSource" -+ mkdir -p --mode="$mode" "$realSource" - chown "$user:$group" "$realSource" - fi \ No newline at end of file |