chromebook-linux-fsharp-jupyter.sh

#!/bin/bash

echo "Do not run as root; abort if you did"

#install vncviewer
sudo apt -y install apt-utils tigervnc-viewer

#install mono and fsharp
sudo apt install -y apt-transport-https dirmngr gnupg ca-certificates
sudo apt-key adv --keyserver hkp://keyserver.ubuntu.com:80 --recv-keys 3FA7E0328081BFF6A14DA29AA6A19B38D3D831EF
echo "deb https://download.mono-project.com/repo/debian stable-stretch main" | sudo tee /etc/apt/sources.list.d/mono-official-stable.list
sudo apt update
sudo apt -y install mono-devel
sudo apt -y install fsharp

#install vscode
wget https://go.microsoft.com/fwlink/?LinkID=760868 -O vscode.deb
sudo dpkg -i vscode.deb

#deb dependencies were missing; this fixes
sudo apt --fix-broken install

#this installs buster; seems better than building python3.6 for stretch
sudo ./chromeos-stretch-to-buster.sh
#python3.7-dev might not be needed
sudo apt install -y python3.7 python3-venv python3.7-dev build-essential

#install python 3.6 on stretch
#sudo apt install -y make build-essential libssl-dev zlib1g-dev libbz2-dev \
#libreadline-dev libsqlite3-dev wget curl llvm libncurses5-dev libncursesw5-dev \
#xz-utils tk-dev libffi-dev liblzma-dev nano
#wget https://www.python.org/ftp/python/3.6.3/Python-3.6.3.tgz
#tar xvf Python-3.6.3.tgz
#cd Python-3.6.3
#last two flags are untested but should work
#./configure --enable-optimizations --enable-shared --with-ensurepip=install LDFLAGS="-Wl,-rpath /usr/local/lib"
#make -j2
#sudo make altinstall
#python3.6

#install sos and sos-fsharp (installs jupyter)
git clone https://github.com/vatlab/sos-fsharp.git
cd sos-fsharp/
#sudo apt install python3-venv
#python3.6 -m venv sosvenv
python3.7 -m venv sosvenv
source sosvenv/bin/activate
pip install wheel
pip install git+https://github.com/vatlab/sos-notebook.git
python -m sos_notebook.install --sys-prefix
pip install -e .

#upgrade pip while we're at it
pip install --upgrade pip

#install ifsharp
mkdir -p ifsharp-install
cd ifsharp-install
wget https://github.com/fsprojects/IfSharp/releases/download/v3.0.1/IfSharp.v3.0.1.zip -O IfSharp.zip
unzip IfSharp.zip
mono ifsharp.exe