Add linux page to geogeeks

tudelft3d · Sep 9, 2024 · 9fa7243 · 9fa7243
1 parent bba66d4
commit 9fa7243
Show file tree

Hide file tree

Showing 14 changed files with 29 additions and 4 deletions.
diff --git a/docs/cpp/vcpkgwindows.md b/docs/cpp/vcpkgwindows.md
@@ -3,7 +3,7 @@
 
 !!! warning
 
-    We recommend you use [Chocolatey to install packages](../computer/packagemanager.md), or [WSL](../computer/wsl.md).
+    We recommend you use [Chocolatey to install packages](../computer/packagemanager.md), or [WSL](../linux/wsl.md).
 
     vcpkg is an alternative, but it is more complex and difficult to setup.
 

diff --git a/docs/linux/files/Linux_Introduction.pdf b/docs/linux/files/Linux_Introduction.pdf
diff --git a/docs/linux/files/VirtualBox_Kubuntu_Installation_Guide.pdf b/docs/linux/files/VirtualBox_Kubuntu_Installation_Guide.pdf
diff --git a/docs/misc/img/WinSCP0.jpeg → docs/linux/img/WinSCP0.jpeg b/docs/misc/img/WinSCP0.jpeg → docs/linux/img/WinSCP0.jpeg
diff --git a/docs/misc/img/WinSCP1.jpeg → docs/linux/img/WinSCP1.jpeg b/docs/misc/img/WinSCP1.jpeg → docs/linux/img/WinSCP1.jpeg
diff --git a/docs/computer/img/cmd-2.jpg → docs/linux/img/cmd-2.jpg b/docs/computer/img/cmd-2.jpg → docs/linux/img/cmd-2.jpg
diff --git a/docs/computer/img/copy_ubuntu.jpg → docs/linux/img/copy_ubuntu.jpg b/docs/computer/img/copy_ubuntu.jpg → docs/linux/img/copy_ubuntu.jpg
diff --git a/docs/computer/img/setup-3.jpg → docs/linux/img/setup-3.jpg b/docs/computer/img/setup-3.jpg → docs/linux/img/setup-3.jpg
diff --git a/docs/linux/index.md b/docs/linux/index.md
@@ -0,0 +1,13 @@
+
+# Linux
+
+For a few courses you'll have to use the operating system Linux :simple-linux:
+
+You can install Linux on your Windows computers with basically 2 different ways:
+
+1. with [WSL](./wsl.md) (Windows Subsystem for Linux)
+2. by running it [virtually with VirtualBox](./virtualbox.md)
+
+And you'll have to access some Linux servers [using ssh](./ssh.md).
+
+One big difference is the [filesystem](../computer/filesystem.md), make sure you familiarise yourself with it.
diff --git a/docs/linux/intro.md b/docs/linux/intro.md
@@ -0,0 +1,4 @@
+
+# Introduction to Linux
+
+[See slides for introduction to Linux](./files/Linux_Introduction.pdf)
diff --git a/docs/misc/ssh.md → docs/linux/ssh.md b/docs/misc/ssh.md → docs/linux/ssh.md
@@ -65,7 +65,7 @@
 
     Under Windows it should be possible to do the same as macOS/Linux with [puttyssh](https://putty.org/). 
 
-    The best alternative is to use [WSL](../computer/wsl.md) and follow the same instructions as those for macOS/Linux.
+    The best alternative is to use [WSL](../linux/wsl.md) and follow the same instructions as those for macOS/Linux.
 
     To copy files using a graphic interface use WinSCP, and configure a session following the figures here: 
     ![WinSCP0](./img/WinSCP0.jpeg)

diff --git a/docs/linux/virtualbox.md b/docs/linux/virtualbox.md
@@ -0,0 +1,4 @@
+
+# Running Linux in a virtual environment
+
+[See slides to install Ubuntu in VirtualBox](./files/VirtualBox_Kubuntu_Installation_Guide.pdf)
diff --git a/docs/computer/wsl.md → docs/linux/wsl.md b/docs/computer/wsl.md → docs/linux/wsl.md
diff --git a/mkdocs.yml b/mkdocs.yml
@@ -54,7 +54,6 @@ nav:
     - computer/filesystem.md
     - computer/terminal.md
     - computer/packagemanager.md
-    - computer/wsl.md
     - computer/bestsoftware.md
   - Programming: 
     - programming/chooselanguage.md
@@ -75,6 +74,12 @@ nav:
     - cpp/xcode.md
     - cpp/wslclion.md
     - cpp/vcpkgwindows.md
+  - Linux:
+    - linux/index.md
+    - linux/intro.md
+    - linux/virtualbox.md
+    - linux/ssh.md
+    - linux/wsl.md
   - Git:
     - git/index.md
     - git/gitintro.md
@@ -93,7 +98,6 @@ nav:
     - writing/references.md
     - writing/latextogether.md
   - Misc:
-    - misc/ssh.md
     - misc/delftblue.md