Merge pull request 'create the .themes directory if it does not exist' (#15) from tio-patch-1 into main
Reviewed-on: #15
This commit is contained in:
commit
b4d8fccb7d
|
@ -9,6 +9,12 @@ if [ ! -e "$home_local_themes_dir" ]; then
|
|||
echo "Directory $home_local_themes_dir is created."
|
||||
fi
|
||||
|
||||
if [ ! -e "$target_themes_dir" ]; then
|
||||
mkdir -p "$target_themes_dir"
|
||||
echo "Directory $home_local_themes_dir is created."
|
||||
fi
|
||||
|
||||
|
||||
echo "Set watch for" "${source_theme_dirs[@]}" "directories ..."
|
||||
while inotifywait -qr -e 'modify,attrib,move,move_self,create,delete,delete_self,unmount' "${source_theme_dirs[@]}"; do
|
||||
rsync -av --delete --progress "${source_theme_dirs[@]}" "$target_themes_dir"
|
||||
|
|
Loading…
Reference in New Issue
Block a user