#!/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 '