I just realized that my workaround only worked as long as the grub-customizer was in the archive. Since we've removed it due to the above issues, the workaround would probably be something like this (completely untested):
mkdir -p $backup_dir
for script in $(ls $orig_dir); do
# we're assuming there's only one proxy script for each proxied file
proxy_script=$(ls ${main_dir}/*_${script}_proxy)
# back up the "proxy script"
cp $main_dir/$proxy_script $backup_dir
# overwrite it with the original shell script
cp $orig_dir/$script /main_dir
done
I just realized that my workaround only worked as long as the grub-customizer was in the archive. Since we've removed it due to the above issues, the workaround would probably be something like this (completely untested):
orig_dir= /etc/grub. d/proxifiedScri pts /etc/grub. d dir=/etc/ grub.d/ proxyscript_ backup
main_dir=
backup_
mkdir -p $backup_dir script= $(ls ${main_ dir}/*_ ${script} _proxy) $proxy_ script $backup_dir
for script in $(ls $orig_dir); do
# we're assuming there's only one proxy script for each proxied file
proxy_
# back up the "proxy script"
cp $main_dir/
# overwrite it with the original shell script
cp $orig_dir/$script /main_dir
done