debug: release.nix

.circleci/nix/tools/release.nix

@@ -1,7 +1,7 @@
 { pkgs }:
 (pkgs.writeScriptBin "deploy" ''
   #!${pkgs.runtimeShell} -e
-  export PATH="${pkgs.lib.makeBinPath (with pkgs; [github-release])}"
+  export PATH="${pkgs.lib.makeBinPath (with pkgs; [github-release coreutils])}"
 
   ## $GITHUB_TOKEN must be a `personal access token` with scope `public_repo`.
   ## The owner of the token must be projekt owner of the repo.
@@ -19,7 +19,14 @@
      github-release delete -t $TAG
   fi
   echo "Create a new release…"
-  github-release release -t $TAG
+  github-release release -t $TAG || true
+
+  ## TODO: await release to be created, for now we wait + print debug output
+  echo 'existing?'
+  github-release info -t $TAG || true
+  sleep 10
+  echo 'existing after waiting?'
+  github-release info -t $TAG || true
 
   echo "Upload Artifacts"
   github-release upload -t $TAG -f "$FILE" -n "$NAME"

frontend/i18n/de.json

@@ -46,7 +46,7 @@
 "Zip code": "Postleitzahl",
 "Results": "Ergebnisse",
 "supervisor_matches_one": "1 Supervisor:in wurde für diese Filtereinstellungen gefunden",
-"supervisor_matches_other": "{{count}} Supervisoren:innen wurden für diese Filtereinstellungen gefunden",
+"supervisor_matches_other": "{{count}} Supervisor:innen wurden für diese Filtereinstellungen gefunden",
 "Mail to all": "Mail an alle",
 "Copy to clipboard": "In Zwischenablage kopieren",
 "Open mail client": "Im Mailclient öffnen",