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

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.