Remove snippets warning in coq

[rbdr/dotfiles] / skhdrc

diff --git a/skhdrc b/skhdrc
index f46d36dd8893356a2cef4f74f0fed5139192535e..d49ec4ecc0a160381df18d79c373dcac3e634a45 100644 (file)
--- a/skhdrc
+++ b/skhdrc
@@ -106,7 +106,7 @@
 # ]
 
 # open terminal, blazingly fast compared to iTerm/Hyper
 # ]
 
 # open terminal, blazingly fast compared to iTerm/Hyper

-alt - return : /Applications/kitty.app/Contents/MacOS/kitty --single-instance -d ~
+shift + alt - return : /Applications/kitty.app/Contents/MacOS/kitty --single-instance -d ~

 
 # open qutebrowser
 # cmd + shift - return : ~/Scripts/qtb.sh
 
 # open qutebrowser
 # cmd + shift - return : ~/Scripts/qtb.sh


@@ -133,7 +133,7 @@ shift + ctrl + alt - k : yabai -m window --warp north
 shift + ctrl + alt - l : yabai -m window --warp east
 
 # balance size of windows
 shift + ctrl + alt - l : yabai -m window --warp east
 
 # balance size of windows

-shift + alt - 0 : yabai -m space --balance
+shift + ctrl + alt - 0 : yabai -m space --balance

 
 # make floating window fill screen
 shift + alt - up     : yabai -m window --grid 1:1:0:0:1:1
 
 # make floating window fill screen
 shift + alt - up     : yabai -m window --grid 1:1:0:0:1:1


@@ -163,7 +163,7 @@ shift + alt - 6 : yabai -m window --space  6; yabai -m space --focus 6
 shift + alt - 7 : yabai -m window --space  7; yabai -m space --focus 7
 shift + alt - 8 : yabai -m window --space  8; yabai -m space --focus 8
 shift + alt - 9 : yabai -m window --space  9; yabai -m space --focus 9
 shift + alt - 7 : yabai -m window --space  7; yabai -m space --focus 7
 shift + alt - 8 : yabai -m window --space  8; yabai -m space --focus 8
 shift + alt - 9 : yabai -m window --space  9; yabai -m space --focus 9

-shift + alt - 0 : yabai -m window --space  0; yabai -m space --focus 0
+shift + alt - 0 : yabai -m window --space  10; yabai -m space --focus 10

 
 # focus monitor
 # ctrl + alt - z  : yabai -m display --focus prev
 
 # focus monitor
 # ctrl + alt - z  : yabai -m display --focus prev


@@ -183,18 +183,18 @@ shift + ctrl + alt - 3  : yabai -m window --display 3; yabai -m display --focus
 # shift + ctrl - s : yabai -m window --move rel:0:20
 
 # increase window size
 # shift + ctrl - s : yabai -m window --move rel:0:20
 
 # increase window size

-shift + alt - a : yabai -m window --resize --left:-20:0
-shift + alt - s : yabai -m window --resize --bottom:0:20
-shift + alt - w : yabai -m window --resize --top:0:-20
-shift + alt - d : yabai -m window --resize --right:20:0
+shift + alt - a : yabai -m window --resize left:-20:0
+shift + alt - s : yabai -m window --resize bottom:0:20
+shift + alt - w : yabai -m window --resize top:0:-20
+shift + alt - d : yabai -m window --resize right:20:0

 
 # decrease window size
 # shift + cmd - s : yabai -m window --resize bottom:0:-20
 # shift + cmd - w : yabai -m window --resize top:0:20
 
 # decrease window size
 # shift + cmd - s : yabai -m window --resize bottom:0:-20
 # shift + cmd - w : yabai -m window --resize top:0:20

-shift + ctrl+ alt - a : yabai -m window --resize --right:-20:0
-shift + ctrl+ alt - s : yabai -m window --resize --top:0:20
-shift + ctrl+ alt - w : yabai -m window --resize --bottom:0:-20
-shift + ctrl+ alt - d : yabai -m window --resize --left:20:0
+shift + ctrl+ alt - a : yabai -m window --resize right:-20:0
+shift + ctrl+ alt - s : yabai -m window --resize top:0:20
+shift + ctrl+ alt - w : yabai -m window --resize bottom:0:-20
+shift + ctrl+ alt - d : yabai -m window --resize left:20:0

 
 # set insertion point in focused container
 ctrl + alt - h : yabai -m window --insert west
 
 # set insertion point in focused container
 ctrl + alt - h : yabai -m window --insert west