mirror of
https://github.com/BurntSushi/ripgrep.git
synced 2024-12-07 11:13:17 +02:00
5dc424d302
This optional dependency is now finally dropped. So ends a long journey of trying to generate man pages in a lightweight and dependable way. The only thing I could figure out how to make work reliably was to just learn how to write roff myself. Yay.
15 lines
546 B
Bash
Executable File
15 lines
546 B
Bash
Executable File
#!/bin/sh
|
|
|
|
# This script gets run in weird environments that have been stripped of just
|
|
# about every inessential thing. In order to keep this script versatile, we
|
|
# just install 'sudo' and use it like normal if it doesn't exist. If it doesn't
|
|
# exist, we assume we're root. (Otherwise we ain't doing much of anything
|
|
# anyway.)
|
|
if ! command -V sudo; then
|
|
apt-get update
|
|
apt-get install -y --no-install-recommends sudo
|
|
fi
|
|
sudo apt-get update
|
|
sudo apt-get install -y --no-install-recommends \
|
|
zsh xz-utils liblz4-tool musl-tools brotli zstd
|