Rico's Nerd Cluster

「离开世界之前 一切都是过程」

Git and VCS

Gitalk, CI/CD, vcstools

Gitalk Gitalk is a free, open-source commenting system that uses GitHub issues for comment storage. It’s an excellent option for developers hosting websites on platforms like GitHub Pages. Cre...

Google Drive

Shortcuts

Shortcuts Make fonts larger: ctrl-shift-.

VSCode

Debugging ROS2 Projects, Remote SSH, Latex Support

Useful Shortcuts Debugger; F11: step into; Shift f11: step out F5 continue F10: step over ctrl-shift-y to open debug console Set Up VSCode For ROS2 Development In Docker Reference T...

Docker - Docker Basics

What is Docker, Basic Docker Operations, Docker Run, Docker Cp

What Is Docker? Deploying and updating software across different operating systems can be cumbersome. Docker simplifies this by providing an isolated environment that runs independently of the hos...

Linux - Networking

NIC

Ethernet and NIC NIC = Network Interface Controller; The ethernet card is by far the most common type of NIC. It’s often integrated on the motherboard, but equivalently, it’s equivalent to going t...

Linux - Power Loss Meltdown

initramfs

🚑 What broke Sudden power-loss left the system in an inconsistent state. (while /roota was being modified) First boot stopped in BusyBox with ALERT! UUI...

Linux - Provisioning of My Machine

fzf

NVIDIA Driver Open the Additional Drivers application Select NVIDIA driver metapackage from nvidia-driver-570 (proprietary, tested) Reboot Run nvidia-smi to ensure it worked Nvidia Dock...

Linux - Operating System

Paging, Concurrency, Time

Paging A page of memory is the smallest fixed-length block of virtual memory managed by OS. To use virtual memory, the OS needs to transfer pages between the main memory and the secondary memory. ...

Linux Miscellaneous Thingies

Window Focus, Screenshots, File System, Shortkeys, UART, Tmux, ffmpeg, Firefox, Chrome, Power Modes

=============================================================================================================== Screenshots =======================================================================...

Linux - Packaging Systems

apt, dpkg

Installation Chain apt, apt-get, apt-cache talks to the repository servers, download .deb, calculate dependency tree, the hand the final files to dpkg for the actual install. E.g., 1 sudo apt ins...