Skip to content

Instantly share code, notes, and snippets.

@hugows

hugows/kinto and pop os configuration.md

Last active February 5, 2022 13:05
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save hugows/f9d3dcdcbc81ec193ede17cc22a09a78 to your computer and use it in GitHub Desktop.
Save hugows/f9d3dcdcbc81ec193ede17cc22a09a78 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
kinto and pop os configuration.md

Pop_OS! and Kinto configuration

After installing Kinto, I needed some additional tweaks:

  1. Disable the Super key behavior (source)
gsettings set org.gnome.shell.extensions.pop-cosmic overlay-key-action 'WORKSPACES'
gsettings set org.gnome.mutter overlay-key ''

  1. Uncomment keys that map Caps Lock since Emacs muscle memory is forever:

    Key.CAPSLOCK: Key.LEFT_META, # IBM

    Key.CAPSLOCK: Key.LEFT_CTRL, # IBM

@hugows
Copy link
Author

hugows commented Nov 27, 2021

Had to remap those on VsCode directly:

image

@hugows
Copy link
Author

hugows commented Feb 5, 2022

Another configuration, ended up with the following configurations so what PC-style shortcuts worked on PopOS + VsCode

  1. Gnome Tweaks, Keyboard, Advanced Layout -> CapsLock is also Ctrl
  2. Kinto.py, uncomment the following line:
define_conditional_modmap(lambda wm_class: wm_class.casefold() not in terminals,{
    ...
    Key.CAPSLOCK: Key.LEFT_META,    # IBM - hugo needs this

Now both Caps+Arrows and Ctrl (physical Ctrl) + Arrows are working.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment