# HG changeset patch # User Pascal Bellard # Date 1226592365 0 # Node ID 200cf2d8f39268c0078b3387c34964b65e4fc277 # Parent 667ad83cd8e476b6d1dc7fac3fca337ea9da765d firefox: keep plugins during upgrade diff -r 667ad83cd8e4 -r 200cf2d8f392 firefox/receipt --- a/firefox/receipt Thu Nov 13 12:19:45 2008 +0000 +++ b/firefox/receipt Thu Nov 13 16:06:05 2008 +0000 @@ -76,6 +76,9 @@ { local root root=$1 + # Get old plugins + mkdir /tmp/firefox-plugins-$$ + cp -a $root/usr/lib/firefox-*/plugins/* /tmp/firefox-plugins-$$ 2> /dev/null # Remove old libs rm -rf $root/usr/lib/firefox-* } @@ -87,4 +90,10 @@ sed -i 's/en-US/fr/' \ $root/etc/firefox/pref/firefox-l10n.js fi + for i in /tmp/firefox-plugins-$$/* ; do + [ -e $i ] || continue + [ -e /usr/lib/firefox-*/plugins/$(basename $i) ] && continue + cp -a $i /usr/lib/firefox-*/plugins/ + done + rm -rf /tmp/firefox-plugins-$$ }