git ships a nice little tool to compare two different versions of the same textfile and highlight its differences: git difftool. It basically does two things for you. a) checkout the versions of the file to compare. b) fire up your diff program to show you/highlight the differences. This posts explains how git difftool can quickly be configured and how it's used.
On Ubuntu, if you suddenly cannot resolve DNS addresses anymore, though your network connection is up, you might just have run into a problem with dnsmasq (a local DNS server) that is used by NetworkManager. This post is about disabling dnsmasq and using the DNS servers advertised by your network directly instead.
We frequently need to mail pdf files that are too big for regular mail services, such as a 40MB pdf file with a maximum 10MB send restriction. In such situations quick and effective pdf compression comes in handy that does not reduce the quality to a level of the file becoming unusable.
We are going to demonstrate installing a specific version of fish, the user friendly interactive shell, in order for it to be compatible to fzf, the fuzzy command-line searcher.
Looking at our screens during long night sessions can harm your eyes and cause e.g. sleeplessness/insomnia. Dimming monitors and reducing the amount of blue light during night sessions - e.g. using redshift on Linux - is a good thing.
In certain cases git-latexdiff might terminate with errors instead of producing a visual diff file. For example, it might struggle with broken latex code, broken figures, certain usage of subfiles, etc. In such cases, it might help to manually do what git-latexdiff would do fully automatically for you. This post is provides a simple step-by-step explanation of how you could achieve visual highlighting even with broken Latex files.
git latexdiff accounts for checking out the different version of a Latex file as well as comparing them with latexdiff in a single command: you only need to specify which latex file and versions should be used for the comparison.