2022-09-15 23:14:20 +00:00
|
|
|
#!/bin/sh
|
2022-09-18 21:44:59 +00:00
|
|
|
shared_themes_dir=/usr/share/themes/
|
|
|
|
|
home_local_themes_dir="$HOME/.local/share/themes/"
|
|
|
|
|
source_theme_dirs="$shared_themes_dir $home_local_themes_dir"
|
|
|
|
|
target_themes_dir="$HOME/.themes"
|
|
|
|
|
|
|
|
|
|
if [ ! -e $home_local_themes_dir ]; then
|
|
|
|
|
mkdir -p $home_local_themes_dir
|
|
|
|
|
echo "Directory $home_local_themes_dir is created."
|
|
|
|
|
fi
|
|
|
|
|
|
|
|
|
|
echo "Set watch for $source_theme_dirs directories ..."
|
|
|
|
|
while inotifywait -r $source_theme_dirs; do
|
|
|
|
|
rsync -av --delete --progress $source_theme_dirs $target_themes_dir
|
|
|
|
|
echo "Directory $target_themes_dir is synchronized with $source_theme_dirs."
|
|
|
|
|
done
|
