On 10/2/19 11:58 AM, Matthew Miller wrote:
On Wed, Oct 02, 2019 at 11:41:11AM -0600, Lawrence E Graves wrote:
trying to create, and it isn't empty, so it isn't going to overwrite it. Just remove that directory and it should work.
Note that this should be done in a code working space or temporary directory, not under ~/.local/share/gnome-shell/extensions.
Assuming that you're in ~/code/ or whatever, it may be that you've simply already checked out dash-to-dock previously. In that case, simply change into that directory and do:
git checkout master git pull make make install
This sounds good but I do not understand tech language, sorry. It needs to be explain to me in good old fashion english. (getting to be a lost language, smile)
Type these commands exactly in order:
cd dash-to-dock
git checkout master
git pull
make
make install
Then, log out and log in again.
This is the results: ImportError: No JS module 'dash-to-dock@micxgx.gmail.com' found in search path
Stack trace: installImporter@resource:///org/gnome/shell/misc/extensionUtils.js:233:5 get prefsModule@resource:///org/gnome/shell/extensionPrefs/main.js:665:13 _showPrefs@resource:///org/gnome/shell/extensionPrefs/main.js:57:13 _extensionsLoaded@resource:///org/gnome/shell/extensionPrefs/main.js:319:13 _scanExtensions/<@resource:///org/gnome/shell/extensionPrefs/main.js:297:13 asyncCallback@resource:///org/gnome/gjs/modules/overrides/Gio.js:132:13 main@resource:///org/gnome/shell/extensionPrefs/main.js:702:5 @<main>:1:43