Ubuntu housekeeping

Free up memory

  • Clean snap’s cached versions (Ubuntu’s application installer and manager): https://itsfoss.com/clean-snap-packages/
  • Clean apt cache: sudo apt-get clean (size of cache can be seen with du -sh /var/cache/apt/archives)
  • Clean old linux kernels: sudo apt remove $(dpkg-query --show 'linux-modules-*' | cut -f1 | grep -v "$(uname -r)") (source with nice detailed explanation). Don’t forget to run sudo apt autoremove after.
  • Clean apt cache: sudo du -sh /var/cache/apt to see how much space it’s taking, sudo apt clean to remove all cache, sudo apt autoclean to remove only obsolete cached items
  • du -sh to see the size of a directory/file

Create .desktop file

In the ~/.local/share/applications, create the <application name>.desktop file:

[Desktop Entry]
Encoding=UTF-8
Type=Application
Terminal=false
Exec=/path/to/executable
Name=Name of Application
Icon=~/.local/share/icons/path/to/icon

There are no notes linking to this note.

There are no papers linking to this note.


Here are all the notes in this garden, along with their links, visualized as a graph.

Adversarial perturbation to...Can we (and should we)...Certified compilers and proof...Constructive logicCurry Howard correspondenceDuelling banjos drama in the...Equivalence checkingExporting ocaml from imandraHalf marathon afterthoughtsHow to set up a plausible...How to make a sunrise alarm...How to make a sunrise alarm...How to make a sunrise alarm...Jupyter notebook launch...Lairg to john'o'groats bike...Marabou Imandra interfacingMarkov process modelMethodologyMonte carlo processNeural network verification ...Ocaml decoder libraryProof production for neural...Reading listType theory with agdaUbuntu housekeepingUseful imandra tipsUseful git commandsUseful vim tips and tricksUsefull miscellaneous snippetsVerifying an algorithm with...On the Dangers of Stochastic...Intuitionistic Type TheorySpinoza on ModalityAttention is All you NeedFormal Monotony Analysis...