Skip to content

Instantly share code, notes, and snippets.

@dcpc007
Created November 10, 2016 12:25

Revisions

  1. dcpc007 renamed this gist Nov 10, 2016. 1 changed file with 0 additions and 0 deletions.
    File renamed without changes.
  2. dcpc007 created this gist Nov 10, 2016.
    1 change: 1 addition & 0 deletions gistfile1.txt
    Original file line number Diff line number Diff line change
    @@ -0,0 +1 @@
    gsettings set org.gnome.Terminal.Legacy.Settings menu-accelerator-enabled false # disable F10 in GNOME terminal