Prêt

GD Pocket

Renseigne d'abord l'onglet Réglages.

Dépôts GitHub

Nouveau dépôt

Un même jeton peut servir à plusieurs dépôts (coche-les tous en créant le jeton sur GitHub). Les jetons se gèrent dans 🔑 Jetons.

Jetons

Nouveau jeton

Remplacer un jeton expiré ici le met à jour pour tous les dépôts qui l'utilisent. Les jetons restent uniquement dans cette appli, sur cet appareil, et ne sont envoyés qu'à api.github.com.

Affichage

Évite que les mots tapés disparaissent avec certains claviers Android. Cochée par défaut sur Android ; l'appli redémarre quand tu la changes.

Nouveau script

Le script s'ouvre dans un nouvel onglet. Il n'est créé sur GitHub qu'au premier « Envoyer ».

Nouvel onglet

Plan du script

Vérifier avant d'envoyer

Modèles de code

Le modèle est inséré à la ligne du curseur, avec la bonne indentation.

Historique

Synchroniser avec GitHub

    ↑ = GitHub prend ta version · ↓ = ta copie reprend la version de GitHub. Tout ce qui part vers GitHub est envoyé en un seul commit par dépôt.

    Nouvelle version disponible

    Tes onglets et tes modifications non envoyées sont conservés.

    Renommer / déplacer

    Un seul commit sur GitHub. Le fichier .uid suit le script s'il existe.