diff options
-rw-r--r-- | gtk-3.0/settings.ini | 2 | ||||
m--------- | private | 0 | ||||
-rw-r--r-- | shellrc | 6 | ||||
-rw-r--r-- | surf/script.js | 2 |
4 files changed, 9 insertions, 1 deletions
diff --git a/gtk-3.0/settings.ini b/gtk-3.0/settings.ini index a85b9ba..969f605 100644 --- a/gtk-3.0/settings.ini +++ b/gtk-3.0/settings.ini @@ -3,4 +3,4 @@ gtk-theme-name=Numix-Frost gtk-font-name=DejaVu Sans 8 gtk-cursor-theme-size=12 gtk-icon-theme-name=Faenza -gtk-key-theme-name = Emacs +gtk-key-theme-name=Emacs diff --git a/private b/private -Subproject e0e87bda325c1873036c2b4248e47dd427b5631 +Subproject 216e302710ea678ed4ac604437dab0fe2224ff1 @@ -108,3 +108,9 @@ dorepeat() { echo done } + +# Clear all ssh control masters +ssh-clear() { + rm -f ~/.cache/ssh + mkdir -p ~/.cache/ssh +} diff --git a/surf/script.js b/surf/script.js index 07bbbe6..01f7bcb 100644 --- a/surf/script.js +++ b/surf/script.js @@ -1,4 +1,5 @@ +/* // Easylinks (inspired but my own implementation) var elink_modkey = 18; //ctrl=17, alt=18 var elink_copykey = 67; // c @@ -185,3 +186,4 @@ run=function() { } } } +*/ |