4 # homepage: https://webinstall.dev
6 # Webi is how developers install their tools.
8 # Webi is what you would have created if you automated how you install your common tools yourself: Simple, direct downloads from official sources, unpacked into `$HOME/.local`, added to `PATH`, symlinked for easy version switching, with minimal niceties like resuming downloads and 'stable' tags.
11 # - No magic, no nonesense, no bulk.
12 # - What you would have done for yourself.
15 # You can install _exactly_ what you need, from memory, via URL:
18 # curl https://webinstall.dev/node@lts | bash
21 # Or via `webi`, the tiny `curl | bash` shortcut command that comes with each install:
35 # You can see exactly what PATHs have been edited:
44 # cat $HOME/.config/envman/PATH.env
50 if [ -f "$HOME/.local/bin/webi" ]; then
52 cur_webi="$(command -v webi)"
54 if [ -z "$cur_webi" ]; then
55 webi_path_add "$HOME/.local/bin"
57 echo "Installed 'webi'"
59 # for when this file is run on its own, not from webinstall.dev
60 echo "Install any other package via https://webinstall.dev and webi will be installed as part of the bootstrap process"