fro
2025-06-27 11:55:06 -05:00
parent 104073fbd2
commit 89296ad587

View File

@@ -320,7 +320,7 @@ if [ ${operation} == "dots" ] ; then
file_name=user.js
file_path=${ffpd}
deploy_file "${dots_trg}/firefox/${file_name}" "${file_path}/${file_name}"
sed -i -e 's/{HOSTNAME}/${HOSTNAME}/g' "${file_path}/${file_name}"
sed -i -e "s/{HOSTNAME}/${HOSTNAME}/g" "${file_path}/${file_name}"
file_name=userChrome.css
file_path=${ffpd}/chrome