usr-local-pull
Installs bunch of cmdline utilities into /usr/local
directly from GitHub releases.
Installing into /usr/local
doesn't interfere with the rest of the system. Ie. you can
have ripgrep
installed from both, official distro package and this script and updating
any of them will not overwrite the other. Which one gets used when you call ripgrep
from your shell, depends on your $PATH
. In most modern distros, stuff from
/usr/local
has priority.
Supported operating systems:
- any and only Linux
- only
x86_64
architecture
Supported shells:
Supported apps:
How to use it?
Install or update:
sudo su -
mkdir ~/usr-local-pull
cd usr-local-pull
python -m venv .venv
source .venv/bin/activate
pip install -U usr-local-pull
- needs to be run as
root
to be able to write into /usr/local
Install or update apps:
sudo su -
cd usr-local-pull
source .venv/bin/activate
usr-local-pull --help
usr-local-pull --prefix /tmp/try_it_out
usr-local-pull --prefix /usr/local
Other side-effects:
- uses
~/.cache
for stuff downloaded from GitHub