search

mpdeimos / gnome-shell-remove-dropdown-arrows

Removes the dropdown arrows from the AppMenu and SystemMenu (AggregateMenu) which were introduced in Gnome 3.10.
https://extensions.gnome.org/extension/800/remove-dropdown-arrows/
GNU General Public License v3.0
52 stars 11 forks source link

Feature request: installation instructions in README #7

Open cprn opened 7 years ago

cprn commented 7 years ago

Hi, As installing from website is useless in highly proxified environments, please add a Makefile entry or simple instructions for manual installation to README, e.g.:

mkdir ~/Projects
git clone https://github.com/mpdeimos/gnome-shell-remove-dropdown-arrows.git ~/Projects/
cd ~/.local/share/gnome-shell/extensions
ln -s ~/Projects/gnome-shell-remove-dropdown-arrows/ remove-dropdown-arrows@mpdeimos.com