xenia/home
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Compare commits

base: xenia:8c8a378aed543aef661bf9b3777ebe429d2d16c1
Branches Tags
xenia:main
..
compare: xenia:795e4fe7a150338c1e7f48e64010f38d38c59feb
Branches Tags
xenia:main

5 Commits
8c8a378aed ... 795e4fe7a1

Author SHA1 Message Date
xenia
795e4fe7a1 Set git editor to kak 2023-12-21 14:16:37 +01:00
xenia
75ff74b1df Update kak-tree 2023-12-21 14:16:29 +01:00
xenia
5677dd5274 Add typst 2023-12-11 20:07:09 +01:00
xenia
821ae5cee4 Enable type checker for python 2023-12-11 20:06:41 +01:00
xenia
788ec4efda [b]lock tree node 2023-12-11 20:06:17 +01:00
3 changed files with 19 additions and 12 deletions
Show Stats Expand all files Collapse all files

10
dotfiles/kakrc
View File

@ -103,9 +103,11 @@ map -docstring "disable highlighting" global tree '&' ":tree-always-hig
declare-user-mode tree-children declare-user-mode tree-children
declare-user-mode tree-next declare-user-mode tree-next
declare-user-mode tree-prev declare-user-mode tree-prev
declare-user-mode tree-quickjump
map global normal 'f' ":enter-user-mode tree-next<ret>" map global normal 'f' ":enter-user-mode tree-quickjump<ret>"
map global normal 'F' ":enter-user-mode tree-children<ret>" map global normal 'F' ":enter-user-mode tree-next<ret>"
map global normal '<a-f>' ":enter-user-mode tree-children<ret>"
evaluate-commands %sh{ evaluate-commands %sh{
echo "i,identifier echo "i,identifier
@ -115,15 +117,19 @@ a,arguments
s,statement s,statement
d,declaration d,declaration
n,number n,number
b,block
\",string" | \",string" |
while IFS=, read -r cmd group ; do while IFS=, read -r cmd group ; do
echo "map -docstring '$group child' global tree-children '$cmd' ':tree-select-children $group<ret>'" echo "map -docstring '$group child' global tree-children '$cmd' ':tree-select-children $group<ret>'"
echo "map -docstring 'next $group' global tree-next '$cmd' ':tree-select-next-node $group<ret>'" echo "map -docstring 'next $group' global tree-next '$cmd' ':tree-select-next-node $group<ret>'"
echo "map -docstring 'previous $group' global tree-prev '$cmd' ':tree-select-previous-node $group<ret>'" echo "map -docstring 'previous $group' global tree-prev '$cmd' ':tree-select-previous-node $group<ret>'"
echo "map -docstring 'quickjump to $group' global tree-quickjump '$cmd' ':tree-quickjump $group<ret>'"
done done
} }
#TODO #TODO
# map global user '&' ':qhl-word<ret>' -docstring "Highlight current word" # map global user '&' ':qhl-word<ret>' -docstring "Highlight current word"
# map global user '"' ':unqhl<ret>' -docstring "Remove highlight" # map global user '"' ':unqhl<ret>' -docstring "Remove highlight"

16
flake.lock
View File

@ -333,11 +333,11 @@
"tree-sitters": "tree-sitters" "tree-sitters": "tree-sitters"
}, },
"locked": { "locked": {
"lastModified": 1699828151, "lastModified": 1703164437,
"narHash": "sha256-JI+tkQbzm1u3CYrPWNRHZupQx8rk8BpdeyAFDD6cNvY=", "narHash": "sha256-LJJ9k16FJtgophTP7GZ6rwzQvsyyn3T4D0mivm9Uoak=",
"ref": "refs/heads/main", "ref": "refs/heads/main",
"rev": "2c17cea19ee8d2b93f48e619b59912b1e5dc0ca0", "rev": "5b53640d914ddae0730a278cb29adfe67857b765",
"revCount": 14, "revCount": 29,
"type": "git", "type": "git",
"url": "https://githug.xyz/xenia/kak-tree.git" "url": "https://githug.xyz/xenia/kak-tree.git"
}, },
@ -609,11 +609,11 @@
"nixpkgs": "nixpkgs_2" "nixpkgs": "nixpkgs_2"
}, },
"locked": { "locked": {
"lastModified": 1699742193, "lastModified": 1703163600,
"narHash": "sha256-1pc59vyEpFwtHYKsEGAwxL7/4wiTmLmzKO6j61wqOeo=", "narHash": "sha256-moGQSMrkzP+3P20Nkx3DIkL2R/rK5/KSakuF4JvPuGw=",
"ref": "refs/heads/main", "ref": "refs/heads/main",
"rev": "bb561d2e33d4d9f9d8171df2484ba6ae8e810b74", "rev": "b43f5ecea195346d4488da3a2f85e7b67360a137",
"revCount": 3, "revCount": 5,
"type": "git", "type": "git",
"url": "https://githug.xyz/xenia/tree-sitters" "url": "https://githug.xyz/xenia/tree-sitters"
}, },

5
home/common.nix
View File

@ -32,10 +32,11 @@ in rec {
rink rink
ghc ghc
( python310.withPackages (ps: with ps; [ ( python310.withPackages (ps: with ps; [
ipython numpy matplotlib sympy scipy pwntools z3 tqdm pwntools mypy # (pylsp-mypy.overrideAttrs (old: { doCheck = false; })) ipython numpy matplotlib sympy scipy pwntools z3 tqdm pwntools mypy (pylsp-mypy.overrideAttrs (old: { doCheck = false; }))
(extras.challtools ps) (extras.challtools ps)
])) ]))
( agda.withPackages (ps: with ps; [ standard-library cubical ]) ) ( agda.withPackages (ps: with ps; [ standard-library cubical ]) )
typst
# jupyter # jupyter
# nodePackages.typescript # nodePackages.typescript
@ -167,7 +168,7 @@ in rec {
init.defaultBranch = "main"; init.defaultBranch = "main";
pull.ff = "only"; pull.ff = "only";
pull.rebase = true; pull.rebase = true;
core.editor = "${pkgs.emacs}/bin/emacsclient --create-frame --alternate-editor=''"; core.editor = "${kak.package}/bin/kak";
}; };
}; };
} }