Merge pull request #8499 from sagemathinc/fix-typo-8435

williamstein · web-flow · commit 893d345f5dc6 · 2025-08-08T09:58:42.000-07:00
frontend/files/masked files: fix typo in reported in #8435
diff --git a/src/.claude/settings.json b/src/.claude/settings.json
@@ -17,7 +17,17 @@
       "WebFetch(domain:cocalc.com)",
       "WebFetch(domain:doc.cocalc.com)",
       "WebFetch(domain:docs.anthropic.com)",
-      "WebFetch(domain:github.com)"
+      "WebFetch(domain:github.com)",
+      "Bash(git checkout:*)",
+      "Bash(git push:*)",
+      "Bash(NODE_OPTIONS=--max-old-space-size=8192 ../node_modules/.bin/tsc --noEmit)",
+      "Bash(docker run:*)",
+      "Bash(../node_modules/.bin/tsc:*)",
+      "Bash(npm view:*)",
+      "WebFetch(domain:www.anthropic.com)",
+      "WebFetch(domain:mistral.ai)",
+      "Bash(pnpm i18n:*)",
+      "WebFetch(domain:simplelocalize.io)"
     ],
     "deny": []
   }
diff --git a/src/CLAUDE.md b/src/CLAUDE.md
@@ -157,6 +157,40 @@ CoCalc is organized as a monorepo with key packages:
 - REFUSE to modify files when the git repository is on the `master` or `main` branch.
 - NEVER proactively create documentation files (`*.md`) or README files. Only create documentation files if explicitly requested by the User.
 
+## React-intl / Internationalization (i18n)
+
+CoCalc uses react-intl for internationalization with SimpleLocalize as the translation platform.
+
+### Translation ID Naming Convention
+
+Translation IDs follow a hierarchical pattern: `[directory].[subdir].[filename].[aspect].[label|title|tooltip|...]`
+
+Examples:
+- `labels.masked_files` - for common UI labels
+- `account.sign-out.button.title` - for account sign-out dialog
+- `command.generic.force_build.label` - for command labels
+
+### Translation Workflow
+
+**For new translation keys:**
+1. Add the translation to source code (e.g., `packages/frontend/i18n/common.ts`)
+2. Run `pnpm i18n:extract` - updates `extracted.json` from source code
+3. Run `pnpm i18n:upload` - sends new strings to SimpleLocalize
+4. New keys are automatically translated to all languages
+5. Run `pnpm i18n:download` - fetches translations
+6. Run `pnpm i18n:compile` - compiles translation files
+
+**For editing existing translation keys:**
+Same flow as above, but **before 3. i18n:upload**, delete the key. Only new keys are auto-translated. `pnpm i18n:delete [id]`.
+
+### Translation File Structure
+
+- `packages/frontend/i18n/README.md` - more information
+- `packages/frontend/i18n/common.ts` - shared translation definitions
+- `packages/frontend/i18n/extracted.json` - auto-generated, do not edit manually
+- `packages/frontend/i18n/[locale].json` - downloaded translations per language
+- `packages/frontend/i18n/[locale].compiled.json` - compiled for runtime use
+
 # Ignore
 
 - Ignore files covered by `.gitignore`
diff --git a/src/packages/frontend/i18n/bin/delete.sh b/src/packages/frontend/i18n/bin/delete.sh
@@ -0,0 +1,38 @@
+#!/bin/bash
+# Delete specific translation keys from SimpleLocalize
+# Usage: ./delete.sh key1 [key2 key3 ...]
+
+if [ $# -eq 0 ]; then
+    echo "Usage: $0 key1 [key2 key3 ...]"
+    echo "Delete one or more translation keys from SimpleLocalize"
+    echo ""
+    echo "Example:"
+    echo "  $0 labels.masked_files"
+    echo "  $0 labels.masked_files account.sign-out.button.title"
+    exit 1
+fi
+
+# Check if SIMPLELOCALIZE_KEY is set
+if [ -z "${SIMPLELOCALIZE_KEY}" ]; then
+    echo "Error: SIMPLELOCALIZE_KEY is not set or is empty. Please provide a valid API key." >&2
+    exit 1
+fi
+
+echo "Deleting translation keys from SimpleLocalize..."
+
+# Loop through all provided keys
+for key in "$@"; do
+    echo
+    echo "Deleting '$key':"
+    curl \
+        --location \
+        --request DELETE "https://api.simplelocalize.io/api/v1/translation-keys?key=$key" \
+        --header "X-SimpleLocalize-Token: $SIMPLELOCALIZE_KEY"
+done
+
+echo
+echo
+echo "Done! Now you should run:"
+echo "  pnpm i18n:upload    (to re-upload the key with new content)"
+echo "  pnpm i18n:download  (to fetch updated translations)"
+echo "  pnpm i18n:compile   (to compile translation files)"
diff --git a/src/packages/frontend/i18n/bin/upload.sh b/src/packages/frontend/i18n/bin/upload.sh
@@ -19,3 +19,27 @@ curl -s -X 'POST' 'https://api.simplelocalize.io/api/v2/jobs/auto-translate' \
     -H "X-SimpleLocalize-Token: $SIMPLELOCALIZE_KEY" \
     -H 'Content-Type: application/json' \
     -d '{"options": []}' | jq '.data|length'
+
+echo "Waiting for auto-translation jobs to complete..."
+
+# Wait for all auto-translation jobs to complete
+while true; do
+    sleep 3
+
+    # Get all active jobs
+    jobs_response=$(curl -s -X 'GET' 'https://api.simplelocalize.io/api/v1/jobs' \
+        -H 'accept: application/json' \
+        -H "X-SimpleLocalize-Token: $SIMPLELOCALIZE_KEY")
+
+    # Count jobs that are not yet completed (state != "SUCCESS")
+    total_jobs=$(echo "$jobs_response" | jq '.data | length')
+    success_jobs=$(echo "$jobs_response" | jq '[.data[] | select(.state == "SUCCESS")] | length')
+    active_jobs=$((total_jobs - success_jobs))
+
+    if [ "$active_jobs" -eq 0 ]; then
+        echo "✓ All auto-translation jobs completed!"
+        break
+    else
+        echo "  $active_jobs job(s) still running..."
+    fi
+done
diff --git a/src/packages/frontend/i18n/common.ts b/src/packages/frontend/i18n/common.ts
@@ -489,7 +489,7 @@ export const labels = defineMessages({
   masked_files: {
     id: "labels.masked_files",
     defaultMessage:
-      "{masked, select, true {Hide masked files} other {Show masked files}}. Masked files are autogenerated or temporary files, which are not meant to be edited. They are be grayed out.",
+      "{masked, select, true {Hide masked files} other {Show masked files}}. Masked files are autogenerated or temporary files, which are not meant to be edited. They are grayed out.",
     description: "show/hide masked files in a file-explorer in a UI.",
   },
   folder: {
diff --git a/src/packages/frontend/i18n/trans/ar_EG.json b/src/packages/frontend/i18n/trans/ar_EG.json
@@ -946,7 +946,7 @@
   "labels.linux_terminal": "لينكس تيرمنال",
   "labels.loading": "جار التحميل...",
   "labels.log": "تسجيل",
-  "labels.masked_files": "{masked, select, true {إخفاء الملفات المخفية} other {إظهار الملفات المخفية}}. الملفات المخفية هي ملفات تم إنشاؤها تلقائيًا أو ملفات مؤقتة، ولا يُقصد تحريرها. ستكون باللون الرمادي.",
+  "labels.masked_files": "{masked, select, true {إخفاء الملفات المقنعة} other {إظهار الملفات المقنعة}}. الملفات المقنعة هي ملفات تم إنشاؤها تلقائيًا أو ملفات مؤقتة، والتي لا يُقصد تعديلها. يتم تظليلها باللون الرمادي.",
   "labels.message.plural": "{num, plural, one {رسالة} other {رسائل}}",
   "labels.messages": "رسائل",
   "labels.messages.all_messages": "جميع الرسائل",
diff --git a/src/packages/frontend/i18n/trans/de_DE.json b/src/packages/frontend/i18n/trans/de_DE.json
@@ -946,7 +946,7 @@
   "labels.linux_terminal": "Linux-Terminal",
   "labels.loading": "Laden...",
   "labels.log": "Protokoll",
-  "labels.masked_files": "{masked, select, true {Maskierte Dateien verbergen} other {Maskierte Dateien anzeigen}}. Maskierte Dateien sind automatisch generierte oder temporäre Dateien, die nicht bearbeitet werden sollen. Sie werden ausgegraut.",
+  "labels.masked_files": "{masked, select, true {Maskierte Dateien ausblenden} other {Maskierte Dateien anzeigen}}. Maskierte Dateien sind automatisch generierte oder temporäre Dateien, die nicht bearbeitet werden sollen. Sie sind ausgegraut.",
   "labels.message.plural": "{num, plural, one {Nachricht} other {Nachrichten}}",
   "labels.messages": "Nachrichten",
   "labels.messages.all_messages": "Alle Nachrichten",
diff --git a/src/packages/frontend/i18n/trans/es_ES.json b/src/packages/frontend/i18n/trans/es_ES.json
@@ -946,7 +946,7 @@
   "labels.linux_terminal": "Terminal de Linux",
   "labels.loading": "Cargando...",
   "labels.log": "Registro",
-  "labels.masked_files": "{masked, select, true {Ocultar archivos enmascarados} other {Mostrar archivos enmascarados}}. Los archivos enmascarados son archivos autogenerados o temporales, que no están destinados a ser editados. Estarán atenuados.",
+  "labels.masked_files": "{masked, select, true {Ocultar archivos enmascarados} other {Mostrar archivos enmascarados}}. Los archivos enmascarados son archivos autogenerados o temporales, que no están destinados a ser editados. Están atenuados.",
   "labels.message.plural": "{num, plural, one {mensaje} other {mensajes}}",
   "labels.messages": "Mensajes",
   "labels.messages.all_messages": "Todos los mensajes",
diff --git a/src/packages/frontend/i18n/trans/es_PV.json b/src/packages/frontend/i18n/trans/es_PV.json
@@ -946,7 +946,7 @@
   "labels.linux_terminal": "Linux Terminala",
   "labels.loading": "Kargatzen...",
   "labels.log": "Egunkari",
-  "labels.masked_files": "{masked, select, true {Maskatutako fitxategiak ezkutatu} other {Maskatutako fitxategiak erakutsi}}. Maskatutako fitxategiak automatikoki sortutako edo behin-behineko fitxategiak dira, ez dira editatzeko pentsatuta. Kolore grisarekin agertuko dira.",
+  "labels.masked_files": "{masked, select, true {Ezkutatu maskaratutako fitxategiak} other {Erakutsi maskaratutako fitxategiak}}. Maskaratutako fitxategiak automatikoki sortutako edo behin-behineko fitxategiak dira, eta ez dira editatzeko pentsatuta. Grisez agertzen dira.",
   "labels.message.plural": "{num, plural, one {Mezua} other {Mezuak}}",
   "labels.messages": "Mezuak",
   "labels.messages.all_messages": "Mezu guztiak",
diff --git a/src/packages/frontend/i18n/trans/he_IL.json b/src/packages/frontend/i18n/trans/he_IL.json
@@ -946,7 +946,7 @@
   "labels.linux_terminal": "לינוקס טרמינל",
   "labels.loading": "טוען...",
   "labels.log": "יומן",
-  "labels.masked_files": "{masked, select, true {הסתר קבצים מוסתרים} other {הצג קבצים מוסתרים}}. קבצים מוסתרים הם קבצים שנוצרו אוטומטית או קבצים זמניים, שאינם מיועדים לעריכה. הם יהיו באפור.",
+  "labels.masked_files": "{masked, select, true {הסתר קבצים מוסתרים} other {הצג קבצים מוסתרים}}. קבצים מוסתרים הם קבצים שנוצרים אוטומטית או קבצים זמניים, אשר לא מיועדים לעריכה. הם מוצגים באפור.",
   "labels.message.plural": "{num, plural, one {הודעה} other {הודעות}}",
   "labels.messages": "הודעות",
   "labels.messages.all_messages": "כל ההודעות",
diff --git a/src/packages/frontend/i18n/trans/hi_IN.json b/src/packages/frontend/i18n/trans/hi_IN.json
@@ -946,7 +946,7 @@
   "labels.linux_terminal": "लिनक्स टर्मिनल",
   "labels.loading": "लोड हो रहा है...",
   "labels.log": "लॉग",
-  "labels.masked_files": "{masked, select, true {छुपाएं मास्क्ड फाइलें} other {दिखाएं मास्क्ड फाइलें}}। मास्क्ड फाइलें स्वचालित या अस्थायी फाइलें होती हैं, जिन्हें संपादित करने का इरादा नहीं होता। ये ग्रे आउट होती हैं।",
+  "labels.masked_files": "{masked, select, true {छिपाएं मास्क किए गए फाइलें} other {दिखाएं मास्क किए गए फाइलें}}। मास्क किए गए फाइलें स्वचालित रूप से उत्पन्न या अस्थायी फाइलें होती हैं, जिन्हें संपादित करने के लिए नहीं बनाया गया है। वे धूसर रंग में होती हैं।",
   "labels.message.plural": "{num, plural, one {संदेश} other {संदेश}}",
   "labels.messages": "संदेश",
   "labels.messages.all_messages": "सभी संदेश",
diff --git a/src/packages/frontend/i18n/trans/hu_HU.json b/src/packages/frontend/i18n/trans/hu_HU.json
@@ -946,7 +946,7 @@
   "labels.linux_terminal": "Linux terminál",
   "labels.loading": "Betöltés...",
   "labels.log": "Napló",
-  "labels.masked_files": "{masked, select, true {Rejtett fájlok elrejtése} other {Rejtett fájlok megjelenítése}}. A rejtett fájlok automatikusan generált vagy ideiglenes fájlok, amelyeket nem szándékoznak szerkeszteni. Szürkével jelennek meg.",
+  "labels.masked_files": "{masked, select, true {Maszkos fájlok elrejtése} other {Maszkos fájlok megjelenítése}}. A maszkos fájlok automatikusan generált vagy ideiglenes fájlok, amelyeket nem szándékoznak szerkeszteni. Ezek szürkével vannak kiemelve.",
   "labels.message.plural": "{num, plural, one {üzenet} other {üzenetek}}",
   "labels.messages": "Üzenetek",
   "labels.messages.all_messages": "Összes üzenet",
diff --git a/src/packages/frontend/i18n/trans/it_IT.json b/src/packages/frontend/i18n/trans/it_IT.json
@@ -946,7 +946,7 @@
   "labels.linux_terminal": "Terminale Linux",
   "labels.loading": "Caricamento...",
   "labels.log": "Log",
-  "labels.masked_files": "{masked, select, true {Nascondi file mascherati} other {Mostra file mascherati}}. I file mascherati sono file autogenerati o temporanei, che non devono essere modificati. Saranno grigiati.",
+  "labels.masked_files": "{masked, select, true {Nascondi file mascherati} other {Mostra file mascherati}}. I file mascherati sono file autogenerati o temporanei, che non devono essere modificati. Sono visualizzati in grigio.",
   "labels.message.plural": "{num, plural, one {messaggio} other {messaggi}}",
   "labels.messages": "Messaggi",
   "labels.messages.all_messages": "Tutti i messaggi",
diff --git a/src/packages/frontend/i18n/trans/ja_JP.json b/src/packages/frontend/i18n/trans/ja_JP.json
@@ -946,7 +946,7 @@
   "labels.linux_terminal": "Linuxターミナル",
   "labels.loading": "読み込み中...",
   "labels.log": "ログ",
-  "labels.masked_files": "{masked, select, true {マスクされたファイルを隠す} other {マスクされたファイルを表示}}。マスクされたファイルは自動生成された一時ファイルで、編集することを意図していません。これらのファイルは灰色表示されます。",
+  "labels.masked_files": "{masked, select, true {マスクされたファイルを隠す} other {マスクされたファイルを表示}}。マスクされたファイルは自動生成された一時ファイルであり、編集することを意図していません。これらはグレーアウトされています。",
   "labels.message.plural": "{num, plural, one {メッセージ} other {メッセージ}}",
   "labels.messages": "メッセージ",
   "labels.messages.all_messages": "すべてのメッセージ",
diff --git a/src/packages/frontend/i18n/trans/ko_KR.json b/src/packages/frontend/i18n/trans/ko_KR.json
@@ -946,7 +946,7 @@
   "labels.linux_terminal": "리눅스 터미널",
   "labels.loading": "불러오는 중...",
   "labels.log": "로그",
-  "labels.masked_files": "{masked, select, true {마스크된 파일 숨기기} other {마스크된 파일 보기}}. 마스크된 파일은 자동 생성되거나 임시 파일로, 편집할 의도가 없습니다. 이 파일들은 회색으로 표시됩니다.",
+  "labels.masked_files": "{masked, select, true {마스크된 파일 숨기기} other {마스크된 파일 표시}}. 마스크된 파일은 자동 생성되거나 임시 파일로, 편집을 위한 것이 아닙니다. 이들은 회색으로 표시됩니다.",
   "labels.message.plural": "{num, plural, one {메시지} other {메시지들}}",
   "labels.messages": "메시지",
   "labels.messages.all_messages": "모든 메시지",
diff --git a/src/packages/frontend/i18n/trans/nl_NL.json b/src/packages/frontend/i18n/trans/nl_NL.json
@@ -946,7 +946,7 @@
   "labels.linux_terminal": "Linux Terminal",
   "labels.loading": "Laden...",
   "labels.log": "Logboek",
-  "labels.masked_files": "{masked, select, true {Verborgen bestanden verbergen} other {Verborgen bestanden weergeven}}. Verborgen bestanden zijn automatisch gegenereerde of tijdelijke bestanden, die niet bedoeld zijn om te bewerken. Ze worden grijs weergegeven.",
+  "labels.masked_files": "{masked, select, true {Verborgen bestanden verbergen} other {Verborgen bestanden tonen}}. Verborgen bestanden zijn automatisch gegenereerde of tijdelijke bestanden, die niet bedoeld zijn om te worden bewerkt. Ze worden grijs weergegeven.",
   "labels.message.plural": "{num, plural, one {bericht} other {berichten}}",
   "labels.messages": "Berichten",
   "labels.messages.all_messages": "Alle berichten",
diff --git a/src/packages/frontend/i18n/trans/pl_PL.json b/src/packages/frontend/i18n/trans/pl_PL.json
@@ -946,7 +946,7 @@
   "labels.linux_terminal": "Terminal Linux",
   "labels.loading": "Ładowanie...",
   "labels.log": "Dziennik",
-  "labels.masked_files": "{masked, select, true {Ukryj zamaskowane pliki} other {Pokaż zamaskowane pliki}}. Zamaskowane pliki są plikami generowanymi automatycznie lub tymczasowymi, które nie są przeznaczone do edycji. Są wyszarzone.",
+  "labels.masked_files": "{masked, select, true {Ukryj zamaskowane pliki} other {Pokaż zamaskowane pliki}}. Zamaskowane pliki to pliki generowane automatycznie lub tymczasowe, które nie są przeznaczone do edycji. Są wyszarzone.",
   "labels.message.plural": "{num, plural, one {wiadomość} other {wiadomości}}",
   "labels.messages": "Wiadomości",
   "labels.messages.all_messages": "Wszystkie wiadomości",
diff --git a/src/packages/frontend/i18n/trans/pt_BR.json b/src/packages/frontend/i18n/trans/pt_BR.json
@@ -946,7 +946,7 @@
   "labels.linux_terminal": "Terminal Linux",
   "labels.loading": "Carregando...",
   "labels.log": "Registro",
-  "labels.masked_files": "{masked, select, true {Ocultar arquivos mascarados} other {Mostrar arquivos mascarados}}. Arquivos mascarados são arquivos autogerados ou temporários, que não devem ser editados. Eles ficam esmaecidos.",
+  "labels.masked_files": "{masked, select, true {Ocultar arquivos mascarados} other {Mostrar arquivos mascarados}}. Arquivos mascarados são arquivos gerados automaticamente ou temporários, que não devem ser editados. Eles estão esmaecidos.",
   "labels.message.plural": "{num, plural, one {Mensagem} other {Mensagens}}",
   "labels.messages": "Mensagens",
   "labels.messages.all_messages": "Todas as mensagens",
diff --git a/src/packages/frontend/i18n/trans/pt_PT.json b/src/packages/frontend/i18n/trans/pt_PT.json
@@ -946,7 +946,7 @@
   "labels.linux_terminal": "Terminal Linux",
   "labels.loading": "A carregar...",
   "labels.log": "Registo",
-  "labels.masked_files": "{masked, select, true {Esconder ficheiros mascarados} other {Mostrar ficheiros mascarados}}. Ficheiros mascarados são ficheiros autogerados ou temporários, que não são destinados a serem editados. Eles são mostrados em cinza.",
+  "labels.masked_files": "{masked, select, true {Esconder ficheiros mascarados} other {Mostrar ficheiros mascarados}}. Os ficheiros mascarados são ficheiros autogerados ou temporários, que não devem ser editados. Estão esbatidos.",
   "labels.message.plural": "{num, plural, one {mensagem} other {mensagens}}",
   "labels.messages": "Mensagens",
   "labels.messages.all_messages": "Todas as Mensagens",
diff --git a/src/packages/frontend/i18n/trans/ru_RU.json b/src/packages/frontend/i18n/trans/ru_RU.json
@@ -946,7 +946,7 @@
   "labels.linux_terminal": "Терминал Linux",
   "labels.loading": "Загрузка...",
   "labels.log": "Журнал",
-  "labels.masked_files": "{masked, select, true {Скрыть замаскированные файлы} other {Показать замаскированные файлы}}. Замаскированные файлы являются автоматически сгенерированными или временными файлами, которые не предназначены для редактирования. Они отображаются серым цветом.",
+  "labels.masked_files": "{masked, select, true {Скрыть замаскированные файлы} other {Показать замаскированные файлы}}. Замаскированные файлы — это автогенерируемые или временные файлы, которые не предназначены для редактирования. Они отображаются серым цветом.",
   "labels.message.plural": "{num, plural, one {сообщение} other {сообщения}}",
   "labels.messages": "Сообщения",
   "labels.messages.all_messages": "Все сообщения",
diff --git a/src/packages/frontend/i18n/trans/tr_TR.json b/src/packages/frontend/i18n/trans/tr_TR.json
@@ -946,7 +946,7 @@
   "labels.linux_terminal": "Linux Terminali",
   "labels.loading": "Yükleniyor...",
   "labels.log": "Günlük",
-  "labels.masked_files": "{masked, select, true {Maskelenmiş dosyaları gizle} other {Maskelenmiş dosyaları göster}}. Maskelenmiş dosyalar, düzenlenmesi amaçlanmayan, otomatik oluşturulan veya geçici dosyalardır. Gri renkte gösterilirler.",
+  "labels.masked_files": "{masked, select, true {Maskelenmiş dosyaları gizle} other {Maskelenmiş dosyaları göster}}. Maskelenmiş dosyalar, düzenlenmemesi gereken, otomatik oluşturulmuş veya geçici dosyalardır. Bunlar gri renkte gösterilir.",
   "labels.message.plural": "{num, plural, one {mesaj} other {mesajlar}}",
   "labels.messages": "Mesajlar",
   "labels.messages.all_messages": "Tüm Mesajlar",
diff --git a/src/packages/frontend/i18n/trans/zh_CN.json b/src/packages/frontend/i18n/trans/zh_CN.json
diff --git a/src/packages/frontend/package.json b/src/packages/frontend/package.json
