-- Leo's gemini proxy
-- Connecting to unbon.cafe:1965...
-- Connected
-- Sending request
-- Meta line: 20 text/gemini;
J'ai évidemment toujours sur moi un carnet physique me permettant d'évacuer quelques idées[1]. Seulement ce n'est pas toujours le plus pertinent à utiliser, en particulier quand il n'est question que d'un mot-clé à réutiliser plus tard. Dans ces cas là j'utilise mon portable et une application textuelle.
Difficilement plus élégant que d'avoir un éditeur de texte pour modifier des fichiers contenus dans un dossier entretenu manuellement. L'accès rapide vers des fichiers pourrait prendre la forme d'un écran au lancement de l'historique, ou d'un navigateur plus complet.
Mon besoin est simple : accéder à une liste de fichiers sur carte SD – notes rangées selon fonction –, et pouvoir en modifier le contenu à la volée. Ni plus (Fonctions de recherche, partage, affichage, raccourcis,…), ni moins.
J'ai longtemps été utilisateur de Notepad[2], mais ma récente migration vers un nouvel appareil m'a poussé à questionner cela : 2 MB pour simplement modifier quatre fichiers, on devrait pouvoir faire mieux…
Au final j'ai supprimé une application dédiée de 2 MB au profit de l'éditeur intégré à un explorateur de fichier d'un total de 6 MB.
Un petit tour sur F-Droid[3] ; Il n'existe curieusement que peu de programmes répondant à ce besoin :
Text Edit[4] (128 kB), archivé en 2011. N'a pas de fonction de navigation ;
Ted[5] (248 kB), sans activité depuis 2012 ;
TextWarrior[6] (335 kB), sans activité depuis 2013. N'a pas de fonction de navigation ;
Editor[7] (262 kB), maintenu et faisant partie d'un écosystème d'applications pas piqué des hannetons.
À noter que j'ai volontairement omis ce que je considère être des mastodontes de taille supérieure ; Je ne compte pas quitter une application pour m'alourdir avec des fonctions dont je n'ai pas utilité. Il existe dans les faits, une foule d'applications[].
Sur le fond, ces applications répondent absolument à leur cahier des charges à savoir : modifier un texte.
Seulement, dans mon cas, c'est généralement une même poignée de fichiers qui sont concernés ; À moins qu'il n'y ait un accès rapide alors ce sera généralement long et fastidieux de devoir naviguer jusqu'au fichier concerné, d'autant plus qu'ayant un accès root j'ai tendance à me perdre dans les dossiers système – quand l'application me le permet, d'autres se limitant à la mémoire interne du téléphone.
Un obstacle important existe au niveau des permissions sous Android. Même s'il m'est possible d'accéder au fichier via un explorateur de fichier, l'éditeur de texte n'a pas toujours la permission d'écriture requise, et aucune demande n'apparaît explicitement. Les solutions mises en place à ce qui semble être une fonction d'Android, sont relativement intriquées[8], et il faudrait dans l'ordre :
Lancer Editor ;
Naviguer, et ouvrir le fichier à l'aide de l'explorateur système ;
Faire la modification ;
Enregistrer sous, de nouveau via l'explorateur système.
C'est particulièrement fastidieux. Faute de solution évidente j'ai choisi un entre deux : j'utilise l'éditeur de texte directement intégré dans l'explorateur de fichier Material Files[] qui propose également une fonction de marque-page pour rapidement accéder à mon répertoires de notes.
-- Response ended
-- Page fetched on Sun May 19 01:15:41 2024