using a proper “compose” key in gnome

26 May
  1. open “system” -> “preferences” -> “keyboard”
  2. switch to tab “layouts”
  3. click button “options”
  4. open section “compose key position”
  5. choose the desired key…