42 lines
1.1 KiB
Bash
42 lines
1.1 KiB
Bash
|
#!/bin/bash
|
||
|
|
|
||
|
|
if [ $UID != 0 ] ; then
|
||
|
|
echo "Must be root!"
|
||
|
|
exit 1
|
||
|
|
fi
|
||
|
|
|
||
|
|
patch_dir=/home/$(logname)/.cache/wal
|
||
|
|
if [ ! "$1" = "" ] ; then
|
||
|
|
patch_dir=$1
|
||
|
|
fi
|
||
|
|
|
||
|
|
echo "Patch dir is $patch_dir"
|
||
|
|
|
||
|
|
vivaldi_path=$(dirname $(find /opt -name "vivaldi-bin"))
|
||
|
|
|
||
|
|
if [ "$vivaldi_path" = "" ] ; then
|
||
|
|
echo "Cannot find vivaldi path"
|
||
|
|
exit 2
|
||
|
|
fi
|
||
|
|
|
||
|
|
echo "Patching vivaldi located at $vivaldi_path"
|
||
|
|
|
||
|
|
# backup browser.html
|
||
|
|
cp "$vivaldi_path/resources/vivaldi/browser.html" "$vivaldi_path/resources/vivaldi/browser.html-$(date +%Y-%m-%dT%H-%M-%S)"
|
||
|
|
|
||
|
|
# add custom.js
|
||
|
|
if [ -f "$patch_dir/vivaldi.js" ] ; then
|
||
|
|
echo "Using js file: $path_dir/vivaldi.js"
|
||
|
|
|
||
|
|
# copy js
|
||
|
|
cp -f "$patch_dir/vivaldi.js" "$vivaldi_path/resources/vivaldi/style/custom.js"
|
||
|
|
|
||
|
|
# patch browser.html
|
||
|
|
js_patched=$(grep '<script src="style/custom.js"><\/script>' $vivaldi_path/resources/vivaldi/browser.html)
|
||
|
|
if [ "$js_patched" = "" ] ; then
|
||
|
|
echo "Browser.html have been patched"
|
||
|
|
sed -i -e 's/<\/body>/<script src="style\/custom.js"><\/script> <\/body>/' "$vivaldi_path/resources/vivaldi/browser.html"
|
||
|
|
fi
|
||
|
|
fi
|
||
|
|
|