diff --git a/scripts/99_deploy.sh b/scripts/99_deploy.sh index bc17c43..edbafa3 100755 --- a/scripts/99_deploy.sh +++ b/scripts/99_deploy.sh @@ -320,6 +320,8 @@ if [ ${operation} == "dots" ] ; then file_name=user.js file_path=${ffpd} deploy_file "${dots_trg}/firefox/${file_name}" "${file_path}/${file_name}" + # https://stackoverflow.com/questions/525592/find-and-replace-inside-a-text-file-from-a-bash-command + # https://askubuntu.com/questions/76808/how-do-i-use-variables-in-a-sed-command sed -i -e "s/{HOSTNAME}/${HOSTNAME}/g" "${file_path}/${file_name}" file_name=userChrome.css