diff options
| author | Ben Sima <ben@bensima.com> | 2025-12-22 13:31:18 -0500 |
|---|---|---|
| committer | Ben Sima <ben@bensima.com> | 2025-12-22 13:31:18 -0500 |
| commit | 8d9eb8fa8a20efa4c4318fccef97d21fe91fb092 (patch) | |
| tree | dfe4a94d2c20653a1b97add68d96ebf5a2856317 /pkgs/cmdtree.nix | |
| parent | f8d26da7c054c0a4c89ab12993e00f74ea9260a1 (diff) | |
Switch to kitty terminal with ef-dream theme, emoji support
- Replace urxvt with kitty as default terminal
- Add ef-dream inspired color scheme to kitty
- Configure emoji font fallback with Noto Color Emoji
- Update xmonad.hs to use kitty for terminal and scratchpads
- Fix cmdtree to fetch from GitHub instead of broken git://jb55.com
- Remove urxvt.nix and alacritty config
- Add AGENTS.md for agentic coding tools
Diffstat (limited to 'pkgs/cmdtree.nix')
| -rw-r--r-- | pkgs/cmdtree.nix | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/pkgs/cmdtree.nix b/pkgs/cmdtree.nix index 1c991bb..20254b3 100644 --- a/pkgs/cmdtree.nix +++ b/pkgs/cmdtree.nix @@ -1,9 +1,10 @@ -{stdenv, fetchgit, xorg }: +{stdenv, fetchFromGitHub, xorg }: stdenv.mkDerivation { name = "cmdtree"; - src = fetchgit { - url = "git://jb55.com/cmdtree"; + src = fetchFromGitHub { + owner = "jb55"; + repo = "cmdtree"; rev = "a7a1f07bfca23397d0d645cb7dbc3b7a63e521cb"; sha256 = "sha256-QPUJUNiLzva+Mtbhic/yv6u2VIFdXkiZCtSz4eWSxzc="; }; |
