Main commands Description Command Clean brute force git clean -dfx All branch names git show-ref Add worktree...

Remove tags from mp3 file pip install music-tag from mutagen.mp3 import MP3 mp3 = MP3(FILE_NAME) mp3.delete() mp3.save() A more complete example can be found here Battery alert To preserve th...

Main commands Description Command Create switch opam switch create SWITCH_NAME 4.14.1 Remove switch opam switch remove SWITCH...

Useful commands Description Command Restart gnome shell ALT + F2, then r Force kill process kill -9 PID Switc...

About Docker is a tool that is used to automate the deployment of applications in lightweight containers so that applications can work efficiently in different environments in isolation. So...

A latex report template is here : link A latex presentation template is here : link Graphics and images \begin{figure}[!htb] \centering \begin{subfigure}[b]{0.25\textwidth} \includegraphi...