PortValhalla/scripts/Common/Software/gnome-shell-extension-installer/install.sh

11 lines
335 B
Bash
Executable file

#!/bin/bash
contextRoot="$(mktemp -d)";
commandName="gnome-shell-extension-installer";
pushd "$contextRoot" > /dev/null;
wget -O "$commandName" https://github.com/brunelli/gnome-shell-extension-installer/raw/master/gnome-shell-extension-installer;
sudo install "$commandName" /usr/local/bin;
popd > /dev/null;
rm -rf "$contextRoot";