mirror of https://github.com/01-edu/public.git
You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
xpetit
3b67e9d443
|
4 years ago | |
---|---|---|
.. | ||
README.md | 4 years ago | |
configure.sh | 4 years ago |
README.md
Setup
Introduction
Our programming exercises require a Unix-like OS (operating system), in particular GNU/Linux.
There are several ways to get a working Linux environment :
- Buy a computer which comes with Linux pre-installed
- Install Linux yourself
- Natively
- In dual-boot, which allows you to choose between Windows and Linux when your computer starts
- In replacement of any existing OS
- Virtualized
- Using a third-party hypervisor (VirtualBox)
- Using the Windows Subsystem for Linux
- Natively
This document focuses on the latest method : "Windows Subsystem for Linux".
Install Windows 10
Skip this part if Windows 10 is up-to-date.
Download
- Visit https://www.microsoft.com/en-us/software-download/windows10ISO (if you already are on Windows, you might need to modify the user-agent)
- Select "Windows 10" edition
- Confirm
- Select "English" product language
- Confirm
- Click on "64-bit Download" button
Install
- Burn on flash drive (using Rufus https://rufus.ie is advised)
- Boot on the flash drive
- If you see "Press any key to boot from CD or DVD..." do it immediately
- This tutorial is using Windows 10 Home
- The system will reboot several times
Wait for Windows 10 to be idle
- Open the Task Manager (right-click in Taskbar or use the shortcut Ctrl+Shift+Esc)
- Click on "More details"
- Select "Performance" tab
- Wait for all the graphs to be completely steady (especially CPU, Wi-Fi, Ethernet)
- Reboot
- Repeat Wait for Windows 10 to be idle until the system is idle shortly after startup
Install Updates
- Click on :
- Start
- Settings
- Update & Security
- Check for updates (even if it says "No updates are available")
- Wait until every component Status is "Pending restart"
- Click on "Restart now"
- Repeat Install Updates until you see "You're up to date"
Install Linux
Skip this part if you already have WSL with Debian (or similar system e.g. Ubuntu).
Install Windows Subsystem for Linux (WSL2)
Follow the guide : https://docs.microsoft.com/en-us/windows/wsl/install-win10
To "Open PowerShell as Administrator", right-click on the Start menu.
Install Debian
- Visit https://www.microsoft.com/en-us/p/debian/9msvkqc78pk6
- Click on "Get" button
- Launch
- Create user as requested (the password doesn't need to be secure)
- Leave (by using the shortcut Ctrl+D, closing the window or typing the
exit
command)
Install VSCode
Install remote extension
Configure Linux
Connect to remote WSL
You can use right-click to copy/paste.
Open a terminal then type the following commands :
sudo apt update
sudo apt -y upgrade
sudo apt -y install curl
curl ADDR | bash
- Then go to Gitea (https://git.DOMAIN/user/settings/keys) in Settings => SSH / GPG Keys
- In "Manage SSH Keys" section, click on "Add Key" button
- Paste the public key in the "Content" text area (the "Key Name" will be automatically set)
- Click on "Add Key"