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!
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!
Note: You might have to do this every time you upgrade your Linux kernel!!
Below are step-by-step symptoms from superficial to root causes.
Your Linux system becomes very slow even …
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!