This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
#! /bin/bash | |
set -eou pipefail | |
workdir=`mktemp -d -p $HOME` | |
workdir=`readlink -f $workdir` | |
echo $workdir | |
#trap "{ echo cleaning up $workdir; rm -r $workdir; }" EXIT | |
trap "{ echo workdir was $workdir; }" EXIT |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
set -eu | |
set -x | |
# create a `cmake` directory and extract cmake into there | |
# build cmake in there, and install to prefix | |
PREFIX=$HOME/software/cmake-3.17.0-rc3 | |
wget -SL https://github.com/Kitware/CMake/releases/download/v3.17.0-rc3/cmake-3.17.0-rc3.tar.gz | |
mkdir -p cmake-3.17.0-rc3.src |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
#! /bin/bash | |
set -eou pipefail | |
set -x | |
workdir=`mktemp -d` | |
workdir=`readlink -f $workdir` | |
echo $workdir | |
#trap "{ echo cleaning up $workdir; rm -r $workdir; }" EXIT |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
#! /bin/bash | |
set -eou pipefail | |
match_size_or_get() { | |
url=$1 | |
echo "working on $url" | |
# get expected size of url content. | |
# first, follow redirects to get effective url |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
# install some useful stuff | |
sudo apt install -y htop | |
# On Debian 11 this brings python 3.9, but the docs ask for python 3.10.6 | |
sudo apt install -y wget git python3 python3-venv | |
# install pyenv for newer pythons | |
curl https://pyenv.run | bash | |
echo 'export PYENV_ROOT="$HOME/.pyenv"' >> ~/.bashrc | |
echo 'command -v pyenv >/dev/null || export PATH="$PYENV_ROOT/bin:$PATH"' >> ~/.bashrc |
OlderNewer