MicP a écrit 463 commentaires

[^] # Re: Résolu !

Posté par MicP le 11 janvier 2021 à 00:38. En réponse au message Personnalisation du prompt bash. Évalué à 5. Dernière modification le 11 janvier 2021 à 00:40.
Une troisième, sans utiliser ni sed, ni awk, ni cut, ni cat, ni tr, ni aucune autre commande externe,
mais seulement avec des commandes internes de l'interpréteur bash :
```
myReg='Raspberry ([^ ]*) ([^ ]*) Model ([^ ]*)'
[[ $(< model) =~ $myReg ]]
modele="${BASH_REMATCH[1]}${BASH_REMATCH[2]}${BASH_REMATCH[3]}"
```
[^] # Re: echo

Posté par MicP le 10 janvier 2021 à 22:16. En réponse au message Personnalisation du prompt bash. Évalué à 5.
Bonjour

Pour obtenir la valeur raccourcie du modèle telle que tu la voulais :
```
sed 's/Raspberry//;s/Model//;s/Rev.*//;s/ //g' < /proc/device-tree/model
```
Le prompt affiché (qui dépends de la valeur de la variable PS1)
est différent selon
- le shell utilisé (bon, là c'est du bash)
- le contenu du fichier ~/.bashrc
- la valeur de la variable $TERM (qui dépends du terminal dans lequel s'affichera le prompt)
- la valeur de la variable $USER
- la valeur de la variable $HOSTNAME

Si tu flashe la carte SD dans laquelle il y a le système d'exploitation,
le fichier ~/.bashrc sera remplacé par celui contenu dans l'image flashée.

Ce qui fait qu'après flashage, il te faudra refaire manuellement dans ~/.bashrc
la modification qui permettait d'afficher le modèle de Pi.
[^] # Re: Been there, done that

Posté par MicP le 28 novembre 2020 à 15:47. En réponse au message Téléphone sous Lineage OS qui ne reçoit plus les codes de confirmation SMS de sa banque. Évalué à 1.

Il n'y avait pas besoin d'interprète…

C'est bien ce que je voulais sous-entendre,
même si je comprends très bien que ça puisse aider dans la plupart des cas.
[^] # Re: Been there, done that

Posté par MicP le 27 novembre 2020 à 13:10. En réponse au message Téléphone sous Lineage OS qui ne reçoit plus les codes de confirmation SMS de sa banque. Évalué à 1.

https://www.gutenberg.org/files/972/972-h/972-h.htm

INTERPRETER, n. One who enables two persons of different languages to understand each other by repeating to each what it would have been to the interpreter's advantage for the other to have said.

Ambose Bierce
# D'autres l'ont aussi constaté

Posté par MicP le 25 novembre 2020 à 23:24. En réponse au message Liens Physiques et Espace Disque. Évalué à 2.

Bonjour

D'autres utilisateurs de NAS Synology ont le même problème avec les liens durs

https://community.synology.com/enu/forum/1/post/129217
[^] # Re: un autre lien… pas en VOD

Posté par MicP le 22 novembre 2020 à 01:38. En réponse au lien La bataille du Libre en VOD pendant la durée du confinement. Évalué à 1.

Merci beaucoup :)
[^] # Re: un autre lien… pas en VOD

Posté par MicP le 21 novembre 2020 à 15:15. En réponse au lien La bataille du Libre en VOD pendant la durée du confinement. Évalué à 1. Dernière modification le 21 novembre 2020 à 15:16.

Le plus simple pour moi, dans le doute,
c'est de supprimer le lien que j'ai posté,
mais je ne peux éditer mon message.

Alors, je remercie d'avance la personne qui aura la gentillesse
de supprimer le lien qui est dans mon message du 18/11/20 à 20:31
[^] # Re: un autre lien… pas en VOD

Posté par MicP le 21 novembre 2020 à 13:04. En réponse au lien La bataille du Libre en VOD pendant la durée du confinement. Évalué à 1. Dernière modification le 21 novembre 2020 à 13:06.

Bonjour

… peux-tu confirmer que le lien que tu fournis a bien reçu l'accord de l'ayant droit? …

Je n'ai aucune compétence en droit,
et je serai donc bien incapable de rédiger une demande à Mr Philippe Borrel.

Mais si c'est le cas, il faudrait aussi le prévenir que quelqu'un a posté en son nom sur ce site beaucoup d'autres vidéos dans la page web suivante :
https://peertube.fr/video-channels/philippe_borrel_channel/videos
# un autre lien… pas en VOD

Posté par MicP le 18 novembre 2020 à 20:31. En réponse au lien La bataille du Libre en VOD pendant la durée du confinement. Évalué à 4. Dernière modification le 21 novembre 2020 à 15:32.

Bonjour

La bataille du libre (Internet ou la Révolution du partage (la version courte 55mn pour ARTE de “La bataille du Libre” 87mn, diffusée sur la page Vimeo du réalisateur)

(NdM: le lien a été édité)
[^] # Re: partage de connexion par USB

Posté par MicP le 14 novembre 2020 à 12:55. En réponse au message Wifi public (portail captif de l'hotel) - Ubuntu - Ne marche pas. Évalué à 1.

Merci :)
[^] # Re: partage de connexion par USB

Posté par MicP le 14 novembre 2020 à 00:25. En réponse au message Wifi public (portail captif de l'hotel) - Ubuntu - Ne marche pas. Évalué à 1. Dernière modification le 14 novembre 2020 à 00:26.

Je ne peux pas modifier mon précédent message,
donc, si quelqu'un avait la gentillesse de bien vouloir remplacer :

j'utilise une interface Internet (USB)

par :

j'utilise une interface Ethernet (USB)

Merci :-)
[^] # Re: partage de connexion par USB

Posté par MicP le 14 novembre 2020 à 00:06. En réponse au message Wifi public (portail captif de l'hotel) - Ubuntu - Ne marche pas. Évalué à 5. Dernière modification le 14 novembre 2020 à 09:39.

Je connecte mon PC allumé à mon smartphone par un cordon de données USB
et voilà ce qui apparaît sur mon smartphone :

J'appuie sur le bouton Annuler
J'appuie sur l'icône Paramètres

J'appuie sur Connexion & partage

J'appuie sur Via USB

À ce moment là, sur l'écran de mon PC,
apparaît un message popup m'indiquant que
la connexion est établie : Je suis connecté au web.

Cette capture d'écran de mon PC
montre des informations sur la connexion

indiquant que j'utilise une interface Ethernet (USB)
Je n'ai pas eu besoin d'installer un quelconque pilote ou firmware.
[^] # Re: partage de connexion par USB

Posté par MicP le 13 novembre 2020 à 23:27. En réponse au message Wifi public (portail captif de l'hotel) - Ubuntu - Ne marche pas. Évalué à 2.

Non : Que mon smartphone soit connecté au web par wifi ou autre chose que par USB,
je peux toujours partager la connexion au web de mon smartphone avec un PC si les deux machines sont connectées par un cordon USB.

J'ai souvent utilisé cette méthode pour installer linux sur plusieurs machines
# partage de connexion par USB

Posté par MicP le 13 novembre 2020 à 23:01. En réponse au message Wifi public (portail captif de l'hotel) - Ubuntu - Ne marche pas. Évalué à 1.

Bonjour

… Avec mon smartphone ça a marché: je me suis connecté à leur wifi (sans mot de passe), j’ai du accepter des termes et conditions (c’est comme un popup qui s’est ouvert tout seul). Et ensuite le Wifi c’est mis à marcher. …

Alors tu pourras partager la connexion au web de ton smartphone
avec ton PC en connectant les deux machines par un cordon USB.
[^] # Re: Variable COLUMS

Posté par MicP le 06 novembre 2020 à 14:53. En réponse au message Taille définie du terminal pour une commande donnée. Évalué à 4. Dernière modification le 06 novembre 2020 à 14:56.
Ou alors, tu fais comme ça :
```
alias m="printf '\033[8;42;125;t'; curl -H 'Accept-Language: fr' wttr.in/Bordeaux"
```
Voir aussi : https://abs.traduc.org/abs-5.0-fr/ch05.html
[^] # Re: Variable COLUMS

Posté par MicP le 05 novembre 2020 à 23:59. En réponse au message Taille définie du terminal pour une commande donnée. Évalué à 3.
essaye plutôt avec :
```
alias m='printf "\033[8;42;125;t"; curl -H "Accept-Language: fr" wttr.in/Bordeaux'
```
[^] # Re: Variable COLUMS

Posté par MicP le 05 novembre 2020 à 21:52. En réponse au message Taille définie du terminal pour une commande donnée. Évalué à 3. Dernière modification le 05 novembre 2020 à 21:56.

Bonjour

Peut-être avec la ligne de commandes suivante :
printf "\033[8;42;125;t"; curl -H "Accept-Language: fr" wttr.in/Bordeaux
[^] # Re: Merci à tous les cinq.

Posté par MicP le 12 septembre 2020 à 03:32. En réponse au message [Résolu] Fabriquant disque dur. Évalué à 2.

…j’ai pu mettre des post it sur mes disques…

Le numéro de série dont je parlais dans mon message
est déjà inscrit sur l'étiquette qui est collée sur le disque.
# Numéro de série

Posté par MicP le 11 septembre 2020 à 20:35. En réponse au message [Résolu] Fabriquant disque dur. Évalué à 3. Dernière modification le 11 septembre 2020 à 20:36.
Bonjour

Si tu as plusieurs disques identiques, même marque et modèle,
tu pourras les différencier par leur numéro de série
qui est affiché dans le retour de la ligne de commande suivante :
```
udisksctl status 
```
On retrouve aussi ce même numéro de série utilisé dans les noms de liens
qui sont créés dans /dev/disk/by-id/
[^] # Re: Mais …

Posté par MicP le 07 août 2020 à 20:34. En réponse au message retrouver le "vrai nom" d'une partition dont on connais le PARTLABEL. Évalué à 1.

… il s'avère que mkfs ne supporte pas les PARTLABEL. …

Alors utilise le nom du lien /dev/disk/by-partlabel/foobar
ou un nom de lien trouvé dans un des sous-répertoires de /dev/disk/
(à part /dev/disk/by-label ou /dev/disk/by-uuid)
qui sera lié au "bon" nom de fichier de périphérique

/dev/disk/by-id est un bon candidat pour être sûr de ne pas se tromper de disque puisque chaque nom de lien qu'il contient est composé avec les références et le numéro de série du disque.

… UUID … j'imagine qu'ils sont encodés dans le FS lui-même,

Oui, l'UUID et le LABEL permettent d'identifier un système de fichiers,
et donc, si pas de système de fichiers alors pas d'UUID ni LABEL
# ce qui donnerait :

Posté par MicP le 07 août 2020 à 15:16. En réponse au message retrouver le "vrai nom" d'une partition dont on connais le PARTLABEL. Évalué à 1. Dernière modification le 07 août 2020 à 15:16.
```
$ lsblk -noUUID $(readlink -f /dev/disk/by-partlabel/foobar)
af419263-9168-49a5-b8ec-dd9852dd039f
```
# Mais …

Posté par MicP le 07 août 2020 à 15:09. En réponse au message retrouver le "vrai nom" d'une partition dont on connais le PARTLABEL. Évalué à 2. Dernière modification le 07 août 2020 à 15:11.

Comme indiqué dans les remarques qui sont dans le fichier /etc/fstab
plutôt que d'utiliser le nom du fichier de périphérique
qui pourrait changer si un disque est ajouté ou déconnecté,
il vaudrait mieux utiliser l'UUID du système de fichiers de la partition
# fichier de périphérique

Posté par MicP le 07 août 2020 à 14:58. En réponse au message retrouver le "vrai nom" d'une partition dont on connais le PARTLABEL. Évalué à 3. Dernière modification le 07 août 2020 à 15:00.
Bonjour

Ce que tu appelles le "vrai nom"
est le nom du fichier de périphérique qui permettrait d'accéder à la partition.

Tu peux récupérer ce nom de fichier de périphérique
en regardant avec la commande readlink
à quoi est lié le lien qui est dans le répertoire /dev/disk/by-partlabel/
```
$ readlink -f /dev/disk/by-partlabel/foobar
/dev/sda3
```
# mc

Posté par MicP le 04 août 2020 à 14:42. En réponse au message Différences entre 2 listes de fichiers. Évalué à 0. Dernière modification le 04 août 2020 à 14:44.

J'aime bien, avec GNU Midnight Commander,
sélectionner les deux répertoires
et juste avoir à faire Ctrl+X puis appuyer sur la touche D

Le gros défaut de cet outil,
c'est qu'on finit par oublier beaucoup de noms de commandes et leurs options.
# apt

Posté par MicP le 02 août 2020 à 06:31. En réponse au message Archive .ZIP. Évalué à 4.
Bonjour

Utilise plutôt le gestionnaire de paquetage
pour vérifier si ce moteur de jeu d'échecs
n'est pas déjà dans la liste des paquetages
de ta distribution MX Linux

Il existe un paquetage nommé stockfish
sur mon système debian :
```
michel@debT450:~$ apt policy stockfish
stockfish:
  Installé : (aucun)
  Candidat : 9-2
 Table de version :
     9-2 500
        500 http://deb.debian.org/debian buster/main amd64 Packages
michel@debT450:~$ 
```
Pour l'installer,
si pour accéder au privilèges du compte root
je devais utiliser la commande sudo
il me suffirait de faire :
```
sudo apt update && sudo apt install stockfish
```