From f5ed263ab0585dfb7b067301419fb80d64e8c021 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?M=C3=A1rton=20Boros?= <martonboros@gmail.com>
Date: Tue, 6 Feb 2024 02:48:57 +0000
Subject: [PATCH] change attic server name to "default"

---
 effects/push-cache/default.nix | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/effects/push-cache/default.nix b/effects/push-cache/default.nix
index bf16de8..5c55083 100644
--- a/effects/push-cache/default.nix
+++ b/effects/push-cache/default.nix
@@ -109,14 +109,14 @@ in {
             secretsMap = { token-file = "${cacheOptions.secretName}"; };
             userSetupScript = ''
               attic login \
-                server-name \
+                default \
                 $(readSecretString token-file .endpoint) \
                 $(readSecretString token-file .token)
             '';
             effectScript = ''
               cat ${
                 packagesFile pkgs cacheOptions.packages
-              } | xargs -s 4096 attic push server-name:$(readSecretString token-file .name)
+              } | xargs -s 4096 attic push default:$(readSecretString token-file .name)
             '';
           };
         in hci-effects.runIf ((cacheOptions.branches == null)