RSS Reader using AT Protocol
rssbase.io
feed
atom
rss
reader
atproto
social
simplify cachix push to avoid 10s enter shell in local
Romain Gautier
(Jul 3, 2026, 10:52 AM +0200)
aa251c9a
32201374
+39
-1
+5
-1
README.md
+5
-1
README.md
···
43
43
```
44
44
45
45
### Devenv maintainer
46
+
47
+
Push the current devenv closure to the RSSBase Cachix cache when Nix/devenv inputs change.
48
+
Do not keep `cachix.push` enabled in `devenv.local.nix`: it slows normal shell entry.
49
+
46
50
```bash
47
-
CACHIX_AUTH_TOKEN=... devenv shell true
51
+
CACHIX_AUTH_TOKEN=... devenv shell cachix-push
48
52
```
49
53
<details>
50
54
+32
devenv.cachix.nix
+32
devenv.cachix.nix
···
1
+
{ pkgs, ... }:
2
+
3
+
{
4
+
scripts.cachix-push.exec = ''
5
+
set -eu
6
+
7
+
if [ -z "''${CACHIX_AUTH_TOKEN:-}" ] && [ -z "''${CACHIX_SIGNING_KEY:-}" ]; then
8
+
echo "error: set CACHIX_AUTH_TOKEN=... or CACHIX_SIGNING_KEY before running devenv-cachix-push" >&2
9
+
exit 1
10
+
fi
11
+
12
+
set --
13
+
for path in \
14
+
.devenv/gc/shell \
15
+
.devenv/profile \
16
+
.devenv/gc/task-config-devenv-config-task-config \
17
+
.devenv/gc/test-devenv-config-test \
18
+
.devenv/gc/changelog-json-devenv-config-changelog-json
19
+
do
20
+
if [ -e "$path" ]; then
21
+
set -- "$@" "$(readlink -f "$path")"
22
+
fi
23
+
done
24
+
25
+
if [ "$#" -eq 0 ]; then
26
+
echo "error: no devenv store paths found; run this through 'devenv shell devenv-cachix-push'" >&2
27
+
exit 1
28
+
fi
29
+
30
+
${pkgs.cachix}/bin/cachix push rssbase "$@"
31
+
'';
32
+
}