Редактировать:
Если вы хотите изменить все профили Firefox, которые в настоящее время используются, вы можете использовать этот простой скрипт:
#!/bin/bash
for f in $(ps aux |grep "/usr/lib/firefox/firefox"| grep -v "grep" | head -1 |cut -d " " -f1); do
echo " * Found some firefox running .... updating pluginreg.dat"
for d in $(find /home/${f}/.mozilla/ -name "pluginreg.dat"); do
echo " * Found ${d}"
sed -i "s%11\.2\.202\.310%11\.2\.202\.425%g" ${d}
done
done
в предложении SED, вы можете изменить номер версии FlashPlugin (11.2.202.310) Чтобы соответствовать вашей текущей версии установленной.
ln -s .bashrc .bash_profile
или немного terser
Просто используйте sort(1)
для большого количества файлов, программа достаточно умна, чтобы просто объединить файлы, если они уже отсортированы.