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.
--
Matthew Miller
<mattdm(a)fedoraproject.org>
Fedora Project Leader