export LC_ALL=C.UTF-8
export LANG=C.UTF-8
export PATH=$HOME/.cargo/bin:$PATH
sh curl https://rustwasm.github.io/wasm-pack/installer/init.sh -sSf | sh
https://www.haskell.org/ghcup/
TODO Want to avoid installing build-essential as a whole:
The following NEW packages will be installed:
build-essential bzip2 cpp cpp-10 dpkg-dev fakeroot g++ g++-10 gcc gcc-10 libalgorithm-diff-perl
libalgorithm-diff-xs-perl libalgorithm-merge-perl libcc1-0 libdpkg-perl libfakeroot libfile-fcntllock-perl
libisl23 liblocale-gettext-perl libmpc3 libmpfr6 xz-utils
TODO You need this as well https://gitlab.haskell.org/ghc/ghc/-/issues/15444 solved from 9.2.2
apt install libnuma-dev
TODO libffi-dev libffi7 were already installed, when?
apt install build-essential libffi-dev libffi7 libgmp-dev libgmp10 libncurses-dev libncurses5 libtinfo5
curl --proto '=https' --tlsv1.2 -sSf https://get-ghcup.haskell.org | sh
libffi-dev
installed withlldb
- Proceed: ↩
- Prepend: ↩
- Install haskell-language-server:
Y
↩ - Install stack:
Y
↩ - Proceed: ↩
stack update
# edit stack.yaml
stack install idris
stack install agda
apt install -y libblas-dev liblapack-dev gfortran
pip3 install scipy
apt install -y libfreetype6-dev
pip3 install matplotlib
apt install -y graphviz-dev
pip3 install pygraphviz
# or
apt install -y graphviz
pip3 install graphviz
apt install -y libsm6 libxrender-dev
pip3 install opencv-python
https://www.postgresql.org/download/linux/ubuntu/
curl -s https://www.postgresql.org/media/keys/ACCC4CF8.asc | gpg --dearmor -o /usr/share/keyrings/pgdg-archive-keyring.gpg
echo "deb [signed-by=/usr/share/keyrings/pgdg-archive-keyring.gpg] http://apt.postgresql.org/pub/repos/apt/ $VERSION_CODENAME-pgdg main" > /etc/apt/sources.list.d/pgdg.list
apt update
apt install -y postgresql
apt install postgresql-10-postgis-2.4