Skip to content

Installs or updates bunch of cmdline utilities directly from GitHub releases.

Notifications You must be signed in to change notification settings

tadams42/usr-local-pull

Repository files navigation

usr-local-pull

PyPI Status license python_versions

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:

  • ZSH

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

About

Installs or updates bunch of cmdline utilities directly from GitHub releases.

Resources

Stars

Watchers

Forks

Packages

No packages published

Languages