local highlighter
This commit is contained in:
parent
b9df659e5d
commit
8c5b42a1b1
3 changed files with 11 additions and 8 deletions
12
deps.sh
12
deps.sh
|
@ -1,11 +1,11 @@
|
|||
#!/bin/sh
|
||||
|
||||
which dnf 2> /dev/null
|
||||
if [[ $? == 0 ]]; then
|
||||
sudo dnf install -y python3-pygments
|
||||
else
|
||||
echo 'failed to install pygments with dnf' >&2
|
||||
exit 1
|
||||
if ! [[ -d pgvv/ ]]; then
|
||||
python3 -m venv pgvv
|
||||
source ./pgvv/bin/activate
|
||||
python3 -m pip install --upgrade pip
|
||||
pip install --upgrade pygments
|
||||
deactivate
|
||||
fi
|
||||
|
||||
which opam 2> /dev/null
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue