Join GitHub today
GitHub is home to over 28 million developers working together to host and review code, manage projects, and build software together.Sign up
Installing on Windows Subsystem for Linux
Follow the instructions here to install Ubuntu Linux on your Windows 10 machine.
Ensure your Ubuntu installation is up to date.
Run the following commands at the bash prompt:
sudo apt update sudo apt upgrade
- Install Firedrake using the instructions here.
- Set up X forwarding.
If you want to have any gui (e.g. plotting), you need to set up X forwarding. This is not supported by Windows yet, but can be set up following the instructions here.
- Download Xming from here, default settings are fine.
- run the following command before running graphical commands:
- You will probably wish to add that line to your
.bashrcto avoid typing that command every time.
- If you want Xming to auto-run when you start, it is helpful
to put these lines in your .bashrc:
export PATH = $PATH:/mnt/c/<path to Xming folder> "/mnt/c/<path to Xming.exe in your Xming folder>" :0 - clipboard -multiwindow &> /dev/null
- Without something like those lines, you have to run Xming from the Windows side each time you want to use it
- General Tips:
- If you need to edit Windows files from the Linux side, your C: drive is located at /mnt/c
- Editing Linux files from Windows is not recommended.
- The default behavior for the terminal (which allows copy and pasting between Windows and Linux) also pauses whatever process is running in the terminal if you have anything selected (e.g. if you are running the firedrake install and click on the terminal, it will pause but not tell you) Just press some key while on the terminal to de-select and get it running again - You can change this by right-clicking on the top bar selecting Properties, and under General disabling Quick-Edit mode. Keep in mind that this may also disable copy and paste. - From Properties you can also change text size/font, and other things
Thanks also to Rob Kirby.