Useful bits

Rift S VR goggle
Connection problem solution:

1 Uninstall both "rift usb hub" in Device manager, with remove software selected

2 Unplug the Display cable, unplug the usb cable.

3 Plug in the usb cable, let the driver installation to finish.

COOT functions
https://github.com/pemsley/coot/blob/master/src/coot.py#L999

Making video from frame images
ffmpeg -framerate 1 -pattern_type glob -i '*.jpg' -c:v libx264 out.mp4

Making GIF from frame images (Imagemagick)
http://www.imagemagick.org/Usage/anim_mods/

bash cheatsheet
https://devhints.io/bash

Reboot Ubuntu in text mode or graphical mode
Essentially lazy way of running

Replace "'superuser_password'" with your sudo password (with all the peril of course):