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
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/pyt hon3.6m -DPYTHON_INCLUDE_DIR=/home/user/.pyenv/versions/3.6.5/includ e/python3.6m -DPYTHON_LIBRARY=/home/user/.pyenv/versions/3.6.5/lib/libpython3.6m.so

   5 ```
5. region_observer region_observer Public

   CMake