aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorLukas Oesch <lukasoesch20@gmail.com>2026-04-02 22:27:44 +0200
committerLukas Oesch <lukasoesch20@gmail.com>2026-04-02 22:27:44 +0200
commitddc4931d326b0bd4046f6731cc543886c557def3 (patch)
tree8b9a1c14a5e1d035f7908c3e776dca193ed9f8d7
parent60162cfa17e94ea4e4cefa9479646266ffb1dee2 (diff)
downloadteachos-ddc4931d326b0bd4046f6731cc543886c557def3.tar.xz
teachos-ddc4931d326b0bd4046f6731cc543886c557def3.zip
fix styling
-rw-r--r--README.rst8
1 files changed, 4 insertions, 4 deletions
diff --git a/README.rst b/README.rst
index 9be2aea..c850c7f 100644
--- a/README.rst
+++ b/README.rst
@@ -48,13 +48,13 @@ However, note that not warranty is provided, and the kernel code may irreparably
The VSCodium IDE configuration provides a launch task using QEMU, available for debugging (via F5) and direct launch as a task.
Notes for Development under Windows
-~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
+~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
While this repository and the devcontainer can be used from Windows, significant performance issues may occur.
To reduce these issues, you can either set up a Linux VM for development, or, if that is not preferred, clone the repository inside WSL and open it from there with Visual Studio Code.
-``git clone <repo-url>``
-``cd <repo-folder>``
-``code .``
+| ``git clone <repo-url>``
+| ``cd <repo-folder>``
+| ``code .``
If you use tools such as Git Extensions or GitHub Desktop, access the repository via the WSL network path, for example ``\\wsl.localhost\<distro>\<path-to-repo>``.