Skip to content

Instantly share code, notes, and snippets.

@Glorp
Last active February 27, 2017 12:57
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save Glorp/4267f82a5fdf325888481adb530450a2 to your computer and use it in GitHub Desktop.
Save Glorp/4267f82a5fdf325888481adb530450a2 to your computer and use it in GitHub Desktop.
F#-notes
F# (as per http://fsharp.org/use/linux/):
sudo apt-key adv --keyserver hkp://keyserver.ubuntu.com:80 --recv-keys 3FA7E0328081BFF6A14DA29AA6A19B38D3D831EF
echo "deb http://download.mono-project.com/repo/debian wheezy main" | sudo tee /etc/apt/sources.list.d/mono-xamarin.list
sudo apt-get update
sudo apt-get install mono-complete fsharp
VSCode:
Maybe needs this:
apt-get install libgconf-2-4
Get .deb from https://code.visualstudio.com/docs/?dv=linux32_deb
sudo dpkg -i code-something-or-other
In VSCode:
ctrl+p
ext install Ionide-fsharp
File->Preferences->Settings: "terminal.integrated.flowControl": false
Keybindings:
[
{
"key": "ctrl+4",
"command": "workbench.action.terminal.focus",
"when": "editorTextFocus"
}
]
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment