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 <mat...@fedoraproject.org> Fedora Project Leader _______________________________________________ test mailing list -- test@lists.fedoraproject.org To unsubscribe send an email to test-le...@lists.fedoraproject.org Fedora Code of Conduct: https://docs.fedoraproject.org/en-US/project/code-of-conduct/ List Guidelines: https://fedoraproject.org/wiki/Mailing_list_guidelines List Archives: https://lists.fedoraproject.org/archives/list/test@lists.fedoraproject.org
