I hereby claim:
- I am Hagb on github.
- I am hagb (https://keybase.io/hagb) on keybase.
- I have a public key whose fingerprint is 40B5 42D3 636C F9D1 F599 C40A 5080 8599 9444 643A
To claim this, I am signing this object:
Hagb
/ soku-input-helper.sh
Created
August 14, 2023 12:55
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| #!/bin/bash | |
| # MIT License | |
| TIMEOUT=500 | |
| TYPE_DELAY=100 | |
| TH123_CLASSNAME=th123.exe | |
| is_focus() { | |
| [ "x$TH123_CLASSNAME" = "x$(xprop -id "$(xdotool getwindowfocus)" | rg WM_CLASS | cut -d \" -f2)" ] | |
| } | |
| if ! is_focus; then |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| <?xml version="1.0" encoding="UTF-8"?> | |
| <!-- | |
| based on pygments highlighting file for Lean4 (https://github.com/leanprover/lean4/blob/master/doc/latex/lean4.py) | |
| and VSCode highlighting file for Lean4 (https://github.com/leanprover/vscode-lean4/blob/master/vscode-lean4/syntaxes/lean4.json). | |
| --> | |
| <language name="Lean" version="1" kateversion="2.4" section="Sources" extensions="*.lean;*.lean4" | |
| mimetype="text/x-lean" license="MIT" author="Hagb (Junyu Guo) (hagb@hagb.name)"> | |
| <highlighting> |
Hagb
/ keybase-proof.md
Created
March 16, 2022 19:14