docker-scripts/ubuntu20-04/build-ugrep.sh

9 lines
485 B
Bash
Executable File

docker build -f build-ugrep.dockerfile --no-cache -t build-ugrep:latest .
docker run -d --name build-ugrep build-ugrep:latest
docker cp build-ugrep:/build/ugrep/bin/ugrep ~/bin/ugrep
docker cp build-ugrep:/build/ugrep/bin/ug ~/bin/ug
sudo docker cp build-ugrep:/build/ugrep/patterns/. /usr/local/share/ugrep/patterns/
sudo docker cp build-ugrep:/build/ugrep/man/ugrep.1 /tmp/ugrep.1
sudo /usr/bin/install -c -m 644 /tmp/ugrep.1 '/usr/local/share/man/man1'
docker remove -f build-ugrep