Merge branch 'main' of codeberg.org:Lillian-Violet/NixOS-Config

This commit is contained in:
Lillian Violet 2024-12-06 15:43:44 +01:00
commit 46ed9c2180
3 changed files with 17 additions and 17 deletions

View file

@ -16,24 +16,21 @@
'' ''
#! ~/.nix-profile/bin/zsh #! ~/.nix-profile/bin/zsh
is_new() { is_new() {
new=1; new=0;
touch /tmp/rjh; mkdir -p /tmp/rjh;
while IFS="" read -r p || [ -n "$p" ]; do if [[ -a "/tmp/rjh/$(pwd | tr \"/\" -).json" ]]; then
if [ $(pwd) = $p ]; then new=1
new=0; fi
fi return $new
done < /tmp/rjh
return $new
} }
send_to_jupyter() { is_new && zellij run -f -n "jupyter console" -- direnv exec . jupyter console --kernel="$1" -f="/tmp/rjh/$(pwd | tr \"/\" -).json" --ZMQTerminalInteractiveShell.include_other_output=True --ZMQTerminalInteractiveShell.other_output_prefix=''' && sleep 3
is_new && zellij run -f -n "jupyter console" -- direnv exec . jupyter console --kernel="$1" -f="/tmp/rjh-$(pwd | tr \"/\" -).json" --ZMQTerminalInteractiveShell.include_other_output=True --ZMQTerminalInteractiveShell.other_output_prefix=''' && zellij action write 29 25 && zellij action write 17 rm -f /tmp/pipe-rjh
pwd >> /tmp/rjh mkfifo /tmp/pipe-rjh
zellij action write 29 25 cat > /tmp/pipe-rjh
zellij action write 17 zellij run -f -n "REPL" -- direnv exec . just send < /tmp/pipe-rjh
cat | just send rm /tmp/pipe-rjh
}
send_to_jupyter
''; '';
in { in {
programs.helix = { programs.helix = {

View file

@ -14,6 +14,9 @@ clean:
sudo nix-collect-garbage sudo nix-collect-garbage
sudo nix-store --optimise sudo nix-store --optimise
setup:
echo "just test" >> ./.git/hooks/pre-commit && chmod +x ./.git/hooks/pre-commit
push: push:
git add * git add *
read -p "Commit message: " -r message && git commit -m "$message" read -p "Commit message: " -r message && git commit -m "$message"

View file

@ -90,7 +90,7 @@
what = "https://gladtherescake.eu/remote.php/dav/files/GLaDTheresCake"; what = "https://gladtherescake.eu/remote.php/dav/files/GLaDTheresCake";
where = "/home/jellyfinmediaplayer/nextcloud"; where = "/home/jellyfinmediaplayer/nextcloud";
options = "uid=1003,gid=100,file_mode=0664,dir_mode=2775"; options = "uid=1003,gid=990,file_mode=0664,dir_mode=2775";
type = "davfs"; type = "davfs";
} }
]; ];