echo "Enabling Extension Developer Mode in Chromium..."
if [ -z "$(cat "$pref_file" | grep developer_mode)" ];then
sed -i 's/},"first_run_tabs"/,"ui":{"developer_mode":true}},"first_run_tabs"/g' "$pref_file"
else
sed -i 's/"developer_mode":false/"developer_mode":true/g' "$pref_file"
fi
if [ -z "$(cat "$pref_file" | grep 'developer_mode":true')" ];then
foundpref=0
echo "Tried to enable developer mode in chromium but it failed."
fi
fi
if [ $foundpref == 0 ];then
echo "Failed to enable developer mode in chromium's preferences file. Please launch Chromium, go to the chrome://extensions website, and enable Developer Mode manually."