Apparently Naphtha (known as Shellite in Australia) can be used for cleaning. But as near as I can tell it’s mostly used for fuel.
So I asked about cleaning cables over here and apparently the material on the outside of a typical cable is PVC (Polyvinyl chloride), AKA “vinyl”. The jury is still out on what the best cleaner is for vinyl, but options include WD40, IPA, and metho (ethanol). I was worried that such solvents might damage PVC around electrical cables, but apparently it won’t.
I didn’t know that methylated spirits (AKA “metho”) were made from ethanol. The ethanol that I have is 99% Bio-Ethanol Alcohol:
If you send non-printable characters to your TTY you might corrupt it, and that’s no fun.
So before you print log files which might contain dodgy data to a console clean it by piping it through tr like this:
tr -c '\11\12\15\40-\176' '?'