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

Compare commits

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

No commits in common. "795e4fe7a150338c1e7f48e64010f38d38c59feb" and "8c8a378aed543aef661bf9b3777ebe429d2d16c1" have entirely different histories.
795e4fe7a1 ... 8c8a378aed

3 changed files with 12 additions and 19 deletions
Show Stats Expand all files Collapse all files

10
dotfiles/kakrc
View File

@ -103,11 +103,9 @@ 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-quickjump<ret>" map global normal 'f' ":enter-user-mode tree-next<ret>"
map global normal 'F' ":enter-user-mode tree-next<ret>" map global normal 'F' ":enter-user-mode tree-children<ret>"
map global normal '<a-f>' ":enter-user-mode tree-children<ret>"
evaluate-commands %sh{ evaluate-commands %sh{
echo "i,identifier echo "i,identifier
@ -117,19 +115,15 @@ 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": 1703164437, "lastModified": 1699828151,
"narHash": "sha256-LJJ9k16FJtgophTP7GZ6rwzQvsyyn3T4D0mivm9Uoak=", "narHash": "sha256-JI+tkQbzm1u3CYrPWNRHZupQx8rk8BpdeyAFDD6cNvY=",
"ref": "refs/heads/main", "ref": "refs/heads/main",
"rev": "5b53640d914ddae0730a278cb29adfe67857b765", "rev": "2c17cea19ee8d2b93f48e619b59912b1e5dc0ca0",
"revCount": 29, "revCount": 14,
"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": 1703163600, "lastModified": 1699742193,
"narHash": "sha256-moGQSMrkzP+3P20Nkx3DIkL2R/rK5/KSakuF4JvPuGw=", "narHash": "sha256-1pc59vyEpFwtHYKsEGAwxL7/4wiTmLmzKO6j61wqOeo=",
"ref": "refs/heads/main", "ref": "refs/heads/main",
"rev": "b43f5ecea195346d4488da3a2f85e7b67360a137", "rev": "bb561d2e33d4d9f9d8171df2484ba6ae8e810b74",
"revCount": 5, "revCount": 3,
"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,11 +32,10 @@ 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
@ -168,7 +167,7 @@ in rec {
init.defaultBranch = "main"; init.defaultBranch = "main";
pull.ff = "only"; pull.ff = "only";
pull.rebase = true; pull.rebase = true;
core.editor = "${kak.package}/bin/kak"; core.editor = "${pkgs.emacs}/bin/emacsclient --create-frame --alternate-editor=''";
}; };
}; };
} }