2009-08-26 17:00:38 +02:00
|
|
|
config() {
|
|
|
|
NEW="$1"
|
|
|
|
OLD="$(dirname $NEW)/$(basename $NEW .new)"
|
|
|
|
# If there's no config file by that name, mv it over:
|
|
|
|
if [ ! -r $OLD ]; then
|
|
|
|
mv $NEW $OLD
|
|
|
|
elif [ "$(cat $OLD | md5sum)" = "$(cat $NEW | md5sum)" ]; then
|
|
|
|
# toss the redundant copy
|
|
|
|
rm $NEW
|
|
|
|
fi
|
|
|
|
# Otherwise, we leave the .new copy for the admin to consider...
|
|
|
|
}
|
|
|
|
|
2024-06-24 00:54:10 +02:00
|
|
|
preserve_perms() {
|
|
|
|
NEW="$1"
|
|
|
|
OLD="$(dirname $NEW)/$(basename $NEW .new)"
|
|
|
|
if [ -e $OLD ]; then
|
|
|
|
cp -a $OLD ${NEW}.incoming
|
|
|
|
cat $NEW > ${NEW}.incoming
|
2024-09-11 19:47:14 +02:00
|
|
|
# Also preserve timestamp:
|
|
|
|
touch -r $NEW ${NEW}.incoming
|
2024-06-24 00:54:10 +02:00
|
|
|
mv ${NEW}.incoming $NEW
|
|
|
|
fi
|
|
|
|
config $NEW
|
|
|
|
}
|
|
|
|
|
2021-09-10 20:58:52 +02:00
|
|
|
# Process config files in etc/grub.d/:
|
|
|
|
for file in etc/grub.d/*.new ; do
|
2024-06-24 00:54:10 +02:00
|
|
|
preserve_perms $file
|
2024-09-11 19:47:14 +02:00
|
|
|
# Move it into place. These are not intended to be edited locally - make new custom scripts!
|
|
|
|
# We'll skip moving 40_custom.new, though.
|
|
|
|
if [ -r $file -a ! "$file" = "etc/grub.d/40_custom.new" ]; then
|
|
|
|
mv $file $(dirname $file)/$(basename $file .new)
|
|
|
|
fi
|
2021-09-10 20:58:52 +02:00
|
|
|
done
|
2013-11-04 18:08:47 +01:00
|
|
|
config etc/default/grub.new
|