raphj a écrit 1627 commentaires

Ah oui, tiens ! Merci pour la correction.

Je comprends qu'on veuille une priorité plus forte aux opérateurs droits pour permettre à - i++ d'avoir du sens, mais du coup je me demande si changer la priorité de ++ gauche pour cette de ++ droit changerait le sens de certaines expressions valides en JavaScript.

Vu que les opérateurs de pré-incrémentation et de post-incrémentation ont la même priorité opératoire, un parseur traitant l'opérateur de post-incrémentation avant l'opérateur de pré-incrémentation est tout aussi correct que celui qui fait l'inverse, mais la possibilité de traiter l'un ou l'autre avant peut expliquer des résultats différents lors d'erreurs. Le fait que V8 traite le dernier opérateur de l'expression en premier peut simplement vouloir dire qu'il traite en fait la post incrémentation avant la pré-incrémentation lors de son analyse.

Un oh-my-zsh qui ressemble à la configuration par défaut de bash sur debian, avec l'heure à gauche, des couleurs, et le code de retour de la dernière commande à droite. Sur Termux, openSUSE, debian, ubuntu…

Avec un historique global bien géré même si plusieurs shells sont ouverts, la coloration syntaxique et l'autocompletion à la Fish.

Je tiens à ce que le chemin soit entre deux espaces, comme ça un double / triple-clic permet de le sélectionner (pour le copier) sans effort.

Sinon pas de fioriture, tout sur une ligne: le prompt est là pour être à la fois remarqué mais discret et sans distraction. Ça vaudrait peut-être le coup que je mette la branche git actuelle cela dit, ça serait bien utile.

Je suis perdu avec Bash maintenant.

Une plateforme collaborative libre, simple à utiliser (pensée pour les non informaticiens), qui permet de l'édition temps réelle (avec Collabora Online) et du stockage, ce serait bien Tracim. Je dirais qu'elle accompagne le travail d'équipe plus que Nextcloud. Une des distinctions est l'historique des documents et la présence d'un fil de discussion autour de chaque document. Sa spécialité est d'aider à organiser et pérenniser les connaissances d'une équipe. Il y a un accès WebDAV, par contre pas de synchronisation de fichiers pour le moment . On peut essayer sans installer en utilisant l'instance Mon Tracim : https://mon.tracim.fr/ (ça vaut le coup d'essayer !)

(disclaimer : je suis un des développeurs de Tracim).

Sinon, Nextcloud est très bon. Interface utilisateur très agréable et les gens savent l'utiliser sans problème, c'est vraiment intuitif. Et il y a un tas d'extensions (des « applications ») pour tout et n'importe quoi, pour répondre à des besoins spécifiques. Ça s'interface bien avec Collabora Online, mais aussi OnlyOffice qui a l'air d'avoir une interface plus agréable mais lacunaire, et que je n'ai pas eu l'occasion d'essayer parce que je trouve l'installation un peu casse pied et j'ai perdu patience les deux fois où j'ai tenté de le mettre en place.

Je maintiens une instance Nextcloud pour une asso (chorale) depuis 2016 sur un VPS chez Scaleway avec une offre intéressante qui a hélas disparu (avec 50 G de stockage pour 2€ et des brouettes par mois). Le support est réactif.

Les connexions domestiques sont moins fiables, il faudra probablement accepter plus de pannes. Je compte justement passer une partie de ce que j'héberge en auto hébergement sur de la fibre, à suivre…

Autre outil intéressant : Framapad :-)

Plus léger que LibreOffice Online / Collabora CODE (et oserais-je plus stable ?), il faut le voir plus comme de la prise de notes rapide à plusieurs (avec historique) en format texte simple. Il y a des rudiments de formatage mais ça ne s'exporte pas top top.

Pour CODE / LO Online, prévoir une machine un peu musclée (surtout de la RAM en fait), et une bonne connexion en envoie parce que LibreOffice s'exécute sur le serveur et l'affichage est envoyé au navigateur. Certaines choses sont refaites en HTML/JS et l'outil est assez intelligent pour faire du rendu spéculatif et pour n'envoyer que ce qui bouge, mais ça bouffe quand même des ressources et des lags trop fréquents / trop forts dans ce genre d'outils, c'est extrêmement frustrant. C'est un coup à envoyer l'ordi par la fenêtre.

Tu peux installer Arora pour installer des application du Play Store sans devoir s'identifier auprès de Google.

Ou alors tu peux jeter un coup d'œil à ce dépôt F-Droid qui récupère, tel quel, les APK depuis les éditeurs de divers logiciels dont Fenix.

Soit conscient que Fenix contient du code non libre (n'hésite pas à lire https://github.com/mozilla-mobile/fenix/issues/162), dont au moins :
- les services Google Play
- la bibliothèque play-services-ads-identifier
- une police propriétaire

Pour la compilation, le dépôt maven.mozilla.org est utilisé, et les gens d'F-Droid ont décidé qu'ils ne feraient pas confiance parce que Mozilla est connu pour avoir inclus des dépendences non libres dans leurs paquets par le passés (encore et toujours les Play Services…).

Donc, en installant Fenix, on installe du code proprio Google.

En revanche, ll y a une annonce sur l'arrivée d'une version libre de Fenix bientôt sur F-Droid:

F-Droid dev here. I've been working on Fenix inclusion for the past couple of months. Here is a recipie and a set of scripts. In short, it eliminates Mozilla Maven repository and builds GeckoView, Glean, Android Components and Application Services from source (without proprietary components). Fenix itself is heavily patched to remove non-free stuff; the removal of play-services-oss-licenses and flags for other proprietary dependencies are very appreciated, @gilbsgilbs.

Fenix F-Droid is still a work-in-progress, but all the heavy lifting is done and it will eventually replace the old good Fennec F-Droid. Thanks to everyone working on this task!

Traduction rapide :

Je suis un développeur F-Droid. J'ai travaillé sur l'inclusion de Fenix ces derniers mois. Il y a une recette et un ensemble de scripts. Pour la faire courte, cela élimine le dépôt Maven de Mozilla et compile GeckoView, Glean, Android Components et les services applicatifs depuis les sources (sans les composants propriétaires). Fenix lui-même est lourdement patché pour supprimer les trucs proprio ; la suppression de play-services-oss-licenses et des drapeaux pour les autres dépendances propriétaires sont très appréciées, @gilbsgilbs.

Fenix F-Droid est toujours un travail en cours, mais le gros est fait et il va finir par remplacer le bon vieux Fennec F-Droid. Merci à tout les gens qui travaillent sur ça !

J'utilise rss2email sur mon serveur pour envoyer par mail les nouveaux articles d'un flux RSS aux gens qui me l'ont demandé. Une tâche cron exécute régulièrement rss2email, qui est configuré pour envoyer des mails en utilisant le serveur mail aussi présent sur cette machine.

Il y a probablement moyen d'automatiser la création d'une configuration de rss2email lors de la saisie d'une adresse email dans un champs.

Il pourrait probablement être intéressant de regarder du côté d'Avahi / Bonjour pour le multicast / la découverte réseau. Ils résolvent certainement beaucoup de problèmes pour nous.

Ah, super :-)

Merci beaucoup pour ce beau projet.

Pour les textos, il y a trois manières de les envoyer :

1. en réponse à une notification sur le bureau
2. avec l'outil qui affiche les conversations. Il s'améliore, mais je ne le trouve pas encore super fiable, et il n'a pas l'air de marcher avec tous les téléphones (Android 6 ?)
3. en ligne de commande

Pour ma part j'utilise surtout la 1. et la 3. J'utilise ce script (licence CC0), que je nomme sms et que je mets dans mon PATH.

#!/usr/bin/env sh

if [ "$1" != "" ]; then
        tel="$1"
else
        tel="$TEL"
fi

if [ "$EDITOR" = "" ]; then
        EDITOR=nano
fi

if [ "$DEVICE" = "" ]; then
        #DEVICE=XXXX # Phone 1
        #DEVICE=XXXX # Phone 2
        DEVICE=codeofyourphone # Find out the code of your device using kdeconnect-cli -l
fi

file=$(mktemp --suffix="--$tel")

$EDITOR $file

if [ "$(stat -c%s "$file")" -lt 3 ]; then
        echo "Message vide, on n'envoie pas."
else
        echo "Envoi du message au numéro $tel :"
        echo "---"
        cat "$file"
        echo "---"
        kdeconnect-cli -d "$DEVICE" --destination "$tel" --send-sms "$(cat "$file")"
fi

rm "$file"

Utilisation :

sms +33... # Nom

Je tape une fois la ligne par personne, puis on peut la rappeler avec CTRL+R Nom. L'utilisation de la flèche du haut pour rappeler la ligne cause très fréquemment des envois à des mauvais destinataires si on est en train de discuter avec plusieurs personnes. L'historique du shell sert effectivement de carnet de contact. Il est important d'utiliser un historique partagé entre les différents shells (configuration par défaut de zsh avec oh-my-zsh par exemple), sinon on risque de perdre l'historique.

On peut aussi mettre en place des alias, sinon.

Autre fonctionnalités de KDE Connect dont je me sers souvent :

• contrôler la souris et le clavier de l'ordi avec le téléphone - pratique quand on regarde des films par exemple
• contrôler le volume, et le lecteur audio / vidéo de l'ordi avec le téléphone (pendant un film, ou lors d'une soirée, réglage du volume / changements discrets de piste)

Je me suis aussi servi des boutons suivant et précédent de KDE Connect lors de présentations avec son mode présentation.

J'ai considéré l'utilisation de la fonctionnalité de pointeur qui est franchement cool pour une présentation, mais finalement j'ai été trop stressé par le reste pour l'utiliser sur le moment (ça m'aurait fait pareil avec un vrai pointeur). Il faut s’entraîner avant pour ça.

Je confirme, un super combo que j'utilise quasi quotidiennement. Les deux outils mériteraient presque à être intégrés, si c'est possible techniquement. Ce serait top de pouvoir se connecter à l'écran du téléphone d'un clic droit métaphorique sur l'icône de KDEConnect. Devoir établir une connexion ADB et lancer une commande, ça se fait bien, mais ça se ferait encore mieux sans, surtout quand on a plusieurs téléphones connectés à ADB.

Supers projets en tout cas. Grand gain de temps.

Je complète la liste en lien :

• envoi de textos depuis l'ordi (KDEConnect et scrcpy)
• captures d'écran du téléphone sur l'ordi (y compris vidéos) (scrcpy, avec l'outil de captures d'écran de l'environnement de bureau [Spectacle, qui est fantastique] / recordmydesktop)
• coupure automatique de la musique de l'ordi lors de la réception d'un appel (KDEConnect)

C'est vrai !

Faut faire attention quand on s'assoit. :-)

qui se glisse dans une poche

Ça n'a pas l'air d'être l'idée du siècle, sauf si le but est de transformer la tablette de chocolat en mauvaise pâte à tartiner.

C'est "carrément" risqué.

Bien sûr.

En fait, il n'y a même pas besoin qu'elle amène au résultat : si tu préfères concevoir, écrire, déboguer un script pour le fun, tu as déjà gagné même si tu n'es pas arrivé au bout. Si tu l'as fait parce que tu trouves cela plus intéressant, tu as peut-être appris des choses ou passé un bon moment, ce qui vaut déjà le coup, et en plus tu sauras peut-être réaliser des tâches similaires plus rapidement plus tard.

Peut-être même que concevoir, écrire, déboguer un script t'a pris plus de temps mais t'a moins endormi le cerveau ou t'a plus mis la motivation que faire un truc ennuyeux mais moins long, et du coup tu es plus efficace / rapide sur toute la suite.

Je ne vous dirai pas comment j'ai fait car vous allez sans doute vous moquer de moi parce que je n'ai pas écrit une ligne de code :-p

On pourrait aussi bien se moquer de quelqu'un qui a conçu, écrit, débogué une macro ou un script à usage unique pour faire ça, et qui y a passé plus de temps qu'à effectuer la tâche manuellement.

• https://xkcd.com/1319/
• https://xkcd.com/1205/

En général, pour ça, je quitte mon IDE (dont je ne sais pas me servir, son rôle est de paraître productif au bureau), je lance Kate (parce qu'à un moment, il faut être un peu efficace), et c'est parti les éditions multilignes et les chercher-remplacer à coup d'expressions régulières… ou pas (il y en a qui utiisent gedit, c'est ok aussi, tout le monde n'a pas la même chance).

diviser l'XP par nombre de personnages pour une même IP ?

Tu interdirais des gens qui partagent la même connexion de jouer dans de bonnes conditions (même habitation, même entreprise, etc).

Par contre, voir un "Connectez-vous avec LinuxFr", ça serait rafraîchissant !

Tu veux dire que marcher vers une falaise peut avoir des effets de bord ?

Ça ne suffirait pas, il faut aussi capter les changements de lecture et la position dans la vidéo. Et aussi changer la position.

Ah, génial, je regarderai ça. Ça a l'air beaucoup mieux qu'MPRIS-Sync. C'est multiplateforme. On peut être plusieurs et rejoindre en cours de route. Il y a des instances publiques. Ça vérifie le fichier en cours de lecture. Un soin est apporté sur les questions de vie privée.

Merci !

Ah oui ! Je me suis trompé d'un facteur mille.

Faut bien voir que beaucoup de projets en dépendent transitivement, parfois plusieurs fois à cause des différentes versions. Et le paquet est probablement pas mal retéléchargé par les outils d'intégration continue.

Je le referais, et plein de fois ! C'était trop bien !
Faire refaire ça, quelle horreur.

Mais j'ai pas de machine à voyager dans le temps alors je vais continuer à le faire plein de fois dans le présent et le futur, c'est bien aussi.

En envoyant ce journal, et suite à ma découverte hier de Webamp (une copie de Winamp 2 pour le web), je me dis qu'en fait, on pourrait tout à fait faire ça direct facilement et proprement dans le navigateur : il y a tout ce qu'il faut en Javascript pour piloter la lecture d'une vidéo, pas d'installation nécessaire, il suffit que l'utilisateur / l'utilisatrice fournisse le fichier à lire en utilisant un <input type="file">. Ça permettrait une prise en charge multi-plateforme sans effort, sans installation pour la personne qui ne met pas en place le serveur.

Avec la prise en charge imminente de VA-API dans Firefox pour accélérer matériellement lecture des vidéos sous X11, ça pourrait être sympa.

Eux étaient limités, à leurs débuts dans le paysage merveilleux des navigateurs web, à rendre leurs services omniprésents plus lents sur les navigateurs concurrents. Et à faire installer Chrome par les programmes d'installation de beaucoup de logiciels. Mais ça coûte du fric, et c'est un peu pénible. En tout cas certainement beaucoup moins efficace et facile que quand tu contrôles directement les mises à jour du système d'exploitation de l'écrasante majorité des PC et que tu peux faire n'importe quoi avec.

En même temps, ils se consolent quand même bien avec Android je suppose.

Allez, je termine mon commentaire avec mon super navigateur majoritairement financé par Google, mon alternative étant d'utiliser un navigateur dont le moteur est majoritairement développé par Apple, qui, sur ses machines mobiles, ne permet même pas l'utilisation d'un navigateur vraiment alternatif. Dur dur, le monde du Web !

Cette semaine, Plasma gagne la prise en charge de la fonctionnalité Copy on Write de Btrfs.

https://pointieststick.com/2020/06/26/this-week-in-kde-we-really-hate-bugs-and-we-want-to-squash-them-all/

Une manière supplémentaire pour moi de mettre le bronx dans mes dossiers sans que ça ne prenne trop d'espace disque.

Petite précision :

Magisk est installable si téléphone rooté

Si téléphone déverrouillé (Magisk permettant de rooter le téléphone).

Sais-tu comment le profil professionnel isole les applications ? (plus que le modèle d'exécution sur Android, avec un utilisateur UNIX par application, etc).

L'appli nommée Service Google Play, je pense que c'est justement le composant qui gère les services Google tels que GCM / Firebase et certainement pas mal d'autre choses. Ce n'est pas le Play Store lui-même en tout cas. Tu ne pourras probablement pas la désactiver, et le faire pourrait entraîner des instabilités si c'était possible.

Sur une ROM d'origine, tu peux normalement installer Magisk pour la rooter, et l'extension privilégiée F-Droid pour avoir une intégration d'F-Droid aux petits ognons (je l'ai déjà fait), à condition de déverrouiller le démarrage de ton téléphone (bootloader), ce qui n'est pas toujours possible ou facile. Déverrouiller le téléphone entraîne la remise en sortie d'usine du téléphone (suppression de toutes les données), c'est une mesure de sécurité en cas de vol du téléphone (pour rendre impossible la récupération des données d'un téléphone protégé par mot de passe).

Magisk et l'extension F-Droid peuvent être installés à l'aide d'un « recovery » tel que TWRP, qui peut être flashé sur la partition recovery du téléphone, ou démarré directement depuis l'ordinateur, à l'aide de « fastboot ». On peut installer l'extension F-Droid sans rooter le téléphone (avec Magisk ou autre), mais le déverrouillage reste nécessaire.

Concernant microG :

• il est probablement impossible de remplacer les services Google par ceux de microG sans passer par une ROM alternative
• tu peux peut-être utiliser les services de géolocalisation de microG plutôt que ceux de Google, ou en plus de ceux de Google, mais ça a l'air de demander quelques acrobaties (genre utiliser un module Xposed) que je n'ai jamais faites. Point d'entrée possible pour les recherches : https://f-droid.org/en/packages/org.microg.nlp/

Tout ce bazar me donne quand même de plus en plus envie de me débarrasser complètement d'Android. J'en ai marre de tous ces bidouillages pour ne même pas obtenir un contrôle complètement satisfaisant sur son matériel. Je suis avec intérêt l'évolution du Pinephone et des systèmes tels que postmarket, UBPorts, Plasma Mobile et consors…