Ubuntu 18.04 Setup

ubuntu_1804_setup.md

sudo apt update && sudo apt upgrade

Install google chrome

Need gnome.

sudo apt install gimp guvcview gthumb clinfo curl libbullet-dev blender git meshlab vim ocl-icd-opencl-dev opencl-clhpp-headers libv4l-dev libsdl2-dev geeqie python3-numpy python3-opencv python3-matplotlib jupyter-notebook python3-notebook geeqie kazam openssh-server gnome-session-flashback gnome-tweaks python-pip net-tools

Built dependencies that aren't in ros packages go in ~/other:

mkdir ~/other/install -p

ROS2

In parallel with ROS1 but not default.

.bashrc

Night shift

Display settings.

sudo apt install dconf-editor

How to get second monitor to follow night light settings?
https://askubuntu.com/questions/983844/night-light-vs-dual-monitor

Devices | Color menu and toggle color management.
May have to do this every day?

Dark mode

Install gnome-tweak-tool, use adwaita-dark

https://askubuntu.com/questions/1159741/enable-dark-mode-on-chromes-internal-pages

Put your ROS_MASTER_URI into a terminal title, edit .bashrc:

# If this is an xterm set the title to user@host:dir
case "$TERM" in
xterm*|rxvt*)
    PS1="\[\e]0;\$ROS_MASTER_URI ${debian_chroot:+($debian_chroot)}\u@\h: \w\a\] $PS1"
    ;;
*)
    ;;
esac

Though at a glance it may appear to be the hostname of the computer the terminal is running on.

Re-assign keys

Swap pgup/pgdn and home/end on laptops.

sudo vi /usr/share/X11/xkb/symbols/pc

    key <HOME> {        [  Prior                ]       };
    key <PGUP> {        [  Home                 ]       };
    key <DELE> {        [  Delete                 ]       };
    key  <END> {        [  Next               ]       };
    key <PGDN> {        [  End                  ]       };

Then logout and log back in.