`make install` messes up extension directory

[RalfJung]

I ran make ; make install, and this is the result:

$ ls ~/.local/share/gnome-shell/extensions/
convenience.js  dash-to-panel@jderose9.github.com  extension.js  icons  LICENSE.txt  locale  messagingmenu@screenfreeze.net  metadata.json  prefs.js  schemas  steal-my-focus@kagesenshi.org  stylesheet.css

Looks like the makefile is buggy and doesn't put the files into a subfolder, where they belong?

[sionleroux]

Weird, it worked fine last time I checked. I'll see if I can reproduce this.

[sionleroux]

Sorry I forgot to respond back here, but this has been fixed in commit eedfc93 which was part of the v16 release earlier this year.