Pinned Loading

1. GIT Tips for myself GIT Tips for myself

   1

   Caution: This is not revert, and only do this for personal commits

   2

   ### Steps

   3

   1. `git log`

   4

   2. get the hash

   5

   3. `git reset --hard <hash>

2. Misc Misc

   1

   ## Switching between `EN` and `JP` layout

   2

   3

   Download `Gnome Tweak Tool`

   4

   ```

   5

   sudo apt install gnome-tweak-tool

3. CMake rants CMake rants

   1

   # Installing neovim

   2

   Error `libtool: command not found`

   3

   4

   Solve it by `sudo apt install libtool-bin`

   5

4. ROS ROS

   1

   # Compile commands

   2

   Example if one try to use python `3.6.5` located in `pyenv` environment

   3

   ```

   4

   ./src/catkin/bin/catkin_make_isolated --install -DCMAKE_BUILD_TYPE=Release -DSETUPTOOLS_DEB_LAYOUT=OFF -DPYTHON_EXECUTABLE=/home/user/.pyenv/versions/3.6.5/bin/python3.6m -DPYTHON_INCLUDE_DIR=/home/user/.pyenv/versions/3.6.5/include/python3.6m -DPYTHON_LIBRARY=/home/user/.pyenv/versions/3.6.5/lib/libpython3.6m.so

   5

   ```

5. region_observer region_observer Public

   CMake