Things on this page are fragmentary and immature notes/thoughts of the author. Please read with your own judgement!
https://search.nixos.org/packages
See discussions in mkShell vs buildFHSUserEnv in Nix .
See discussions in Set Up Nix for Python Development .
Things on this page are fragmentary and immature notes/thoughts of the author. Please read with your own judgement!
The script purge_cache.sh is a good one for clean cache of various package managers and temporary files on Linux.
Things on this page are fragmentary and immature notes/thoughts of the author. Please read with your own judgement!
tock-os Tock is an embedded operating system designed for running multiple concurrent, mutually distrustful applications on Cortex-M and RISC-V based embedded platforms. Tock's design centers around protection, both from potentially …
Things on this page are fragmentary and immature notes/thoughts of the author. Please read with your own judgement!
| Shortcut | Description |
|---|---|
ctrl + shift + + |
Increase size of tabs. |
ctrl + shift + + |
Decrease size of tabs. |
ctrl + + |
Zoom in a page. |
ctrl + - |
Zomm out a page. |
Things on this page are fragmentary and immature notes/thoughts of the author. Please read with your own judgement!
| Command | Description |
|---|---|
| uname -a | The full info of the machine. |
| uname | The type of OS, e.g., Linux, Darwin, etc. |
| uname -m | The architecture of the machine, e.g., x86_64, etc … |
Things on this page are fragmentary and immature notes/thoughts of the author. Please read with your own judgement!