After an evaluation, GNOME has moved from Bugzilla to GitLab. Learn more about GitLab.
No new issues can be reported in GNOME Bugzilla anymore.
To report an issue in a GNOME project, go to GNOME GitLab.
Do not go to GNOME Gitlab for: Bluefish, Doxygen, GnuCash, GStreamer, java-gnome, LDTP, NetworkManager, Tomboy.
Bug 588362 - Extensions directory in $HOME is not versioned
Extensions directory in $HOME is not versioned
Status: RESOLVED OBSOLETE
Product: epiphany
Classification: Core
Component: General
git master
Other Linux
: Normal major
: ---
Assigned To: Epiphany Maintainers
Epiphany Maintainers
Depends on:
Blocks:
 
 
Reported: 2009-07-12 10:30 UTC by Josselin Mouette
Modified: 2014-08-13 03:08 UTC
See Also:
GNOME target: ---
GNOME version: ---


Description Josselin Mouette 2009-07-12 10:30:49 UTC 
The extensions directory in /usr/share is versioned, and extensions for a specific major version are in a specific directory.

However this is not the case for extensions installed in the user’s $HOME. They are always put in ~/.gnome2/epiphany/extensions, regardless of the epiphany version. 

When upgrading Epiphany, this leads to extensions incompatible with the current code being used, see http://bugs.debian.org/476955 for an example. It also causes trouble for people using the same $HOME with different distributions (using NFS or schroot).

I suggest extensions should be installed in ~/.gnome2/epiphany/$MAJOR.$MINOR/extensions instead.