[update] Replace coq with cmp

[update] Tmux scratchpad size change [update] Remove redundant redline.so
2023-09-11 11:31:13 +05:30
parent c43aaddeea
commit 46d7664359
8 changed files with 83 additions and 56 deletions
--- a/config/tmux/scratch
+++ b/config/tmux/scratch
@@ -1,7 +1,7 @@
 #!/bin/sh

-width=${2:-80%}
-height=${2:-80%}
+width=${2:-90%}
+height=${2:-90%}
 if [ "$(tmux display-message -p -F "#{session_name}")" = "scratch" ];then
    tmux detach-client
 else