grace/dots
dotfiles/nix configs
git clone https://git.gae.moe/grace/dots
c1be8e3
main
1{ ...} : 2 3{ 4programs = { 5git = { 6enable = true ; 7ignores = [ ".DS_Store" ]; 8}; 9 10jujutsu = { 11enable = true ; 12settings = { 13user = { 14name = "Grace Yoder" ; 15= "grace_yoder@outlook.com" ; 16}; 17signing = { 18behavior = "own" ; 19backend = "ssh" ; 20key = "~/.ssh/id_ed25519" ; 21}; 22remotes . origin . auto-track-bookmarks = "*" ; 23remotes . github . auto-track-bookmarks = "*" ; 24aliases = { 25megasquash = [ 26"squash" 27"--from" 28"heads(bookmarks() & ::@-)..@-" 29"--into" 30"@" 31]; 32 33tug = [ 34"bookmark" 35"advance" 36"--to" 37"coalesce(@ ~ empty(), @-)" 38]; 39 40fn = [ 41"util" 42"exec" 43"--" 44"bash" 45"-c" 46'' 47set -euo pipefail 48 49cd "$JJ_WORKSPACE_ROOT" 50bookmark="''${1:-main}" 51jj git fetch 52jj new "$bookmark" 53'' 54"" 55]; 56 57tcp = [ 58"util" 59"exec" 60"--" 61"bash" 62"-c" 63'' 64set -euo pipefail 65 66cd "$JJ_WORKSPACE_ROOT" 67jj tug 68if [ "$#" -eq 0 ]; then 69jj new 70else 71jj commit -m "$*" 72fi 73jj git push 74'' 75"" 76]; 77 78sp = [ 79"util" 80"exec" 81"--" 82"bash" 83"-c" 84'' 85set -euo pipefail 86 87cd "$JJ_WORKSPACE_ROOT" 88jj squash --ignore-immutable 89jj git push 90'' 91"" 92]; 93}; 94}; 95}; 96 97gh . enable = true ; 98}; 99}