mplabx-v5.35 et linux

[lutshur]

Le test "ET" vient fausser ce que j'ai écrit. Car il faut que deux conditions soient vraies pour que le résultat soit vrai.
Le #16 donne une piste
Donc, scripts modifiés pour ne tester que l'UID.
document1.sh

echo ""

user=`env | grep '^USER=' | sed 's/^USER=//'`

echo "test1, si UID différent de 0"
echo "\#if [ "UID" != "0" ]"
if [ "$UID" != "0" ]; then
echo "Vrai, N° UID="$UID
else
echo "Faux, N° UID="$UID
echo ""
fi
echo "test2, si UID égale 0"
echo "\# if [ "UID" = "0" ]"
if [ "$UID" = "0" ]; then
echo "Vrai, N° UID="$UID
else
echo "Faux, N° UID="$UID
echo ""
fi

document2.sh

echo ""

echo "test1, UID différent de 0"
echo "\#if [ "UID" != "0" ]"
if [ "${UID:-$(id -u)}" != "0" ]; then
echo "Vrai, UID="$UID
else
echo "Faux, N° UID="$UID
echo ""
fi
echo "test2, UID égale 0"
echo "\# if [ "UID" = "0" ]"
if [ "${UID:-$(id -u)}" = "0" ]; then
echo "Vrai, N° UID="$UID
else
echo "Faux, N° UID="$UID
echo ""
fi

C'est le bazar. UID= , ce n'est plus UID=0 pour l'un. UID= , c'est UID=0 pour l'autre
-----

[polo974]

Tout dépend du shell utilisé:
bash: UID est positionné (bash est un shell "moderne" et u peu lourd)
dash: UID n'est pas positionné par défaut (dash est un shell "à l'ancienne")
(autres shell: faire l'essai...)

Pour savoir quel shell est utilisé:
readlink /proc/$$/exe

bref, lancer bash et dans ce bash lancer l'install (avec sudo si besoin).

ou bien lancer (ouhhh, c'est vilain) sudo bash et lancer l'install.

[lutshur]

Pour faire court, lancer en root, pas sudo, ça règle la question

[micapivi]

xx=$(id -u)           # le numéro d'UID réel de l'utilisateur qui a lancé le shell sera assigné à la variable xx

xx=${var:-default}    # Si la valeur de la variable var est nulle ou non assignée alors c'est default qui sera assigné à la variable xx, sinon c'est la valeur de la variable var qui sera assigné à la variable xx

…lancer en root, pas sudo …

Et dans les deux cas, il est plus sûr d'utiliser un login-shell :

Avec sudo, utiliser l'option i pour obtenir un login-shell

sudo -i

Avec su, utiliser un simple tiret pour obtenir un login-shell

su -

[micapivi]

mic@deb12x:~$ su -
Mot de passe : 
root@deb12x:~# echo $0
-bash
root@deb12x:~#

Si le premier caractère du retour de la ligne de commande echo $0 (c'est un zéro et pas un "o" en majuscule) est un tiret, alors c'est bien un login-shell

[micapivi]

D'autre part, pour le système, c'est le compte qui a l'ID numéro zéro qui a tous les privilèges.

Que le compte utilisateur qui a l'ID numéro zéro utilise comme nom de login root, zoot ou le nom de sa sœur jumelle n'a aucune importance.

Donc vérifier que le nom de login est bien root est inutile puisque ça ne prouve rien.

[lutshur]

Ca fonctionne encore partout su ?

[micapivi]

Je n'ai pas testé toutes les distributions linux existantes,
mais logiquement oui => ça devrait fonctionner de la même façon sur toutes les distributions linux.

Telle que j'ai formulée la ligne de commande su dans mes précédents messages (sans spécifier de compte utilisateur)
ça va permettre d'ouvrir un shell interactif sous le compte root (ou un login shell interactif si la commande su est suivie d'une espace et un tiret)

Mais bien sûr, si aucun mot de passe n'a été défini pour le compte root il ne sera pas possible d'accéder au compte root avec la commande su

Par contre, si je connais le mot de passe du compte auquel je veux me substituer (pour ouvrir un shell ou lancer une ligne de commande.s) ça va fonctionner.

Par exemple :

Si l'utilisateur du compte mic connait le mot de passe du compte mic2

mic@debsudo:~$ echo "La commande echo a été lancée avec le compte $USER"
La commande echo a été lancée avec le compte mic
mic@debsudo:~$ 

mic@debsudo:~$ su mic2 -c 'echo "La commande echo a été lancée avec le compte $USER"'
Mot de passe : 
La commande echo a été lancée avec le compte mic2
mic@debsudo:~$

si l'utilisateur du compte mic2 connait le mot de passe du compte mic

mic2@debsudo:~$ su mic -c 'echo "La commande echo a été lancée avec le compte $USER"'
Mot de passe : 
La commande echo a été lancée avec le compte mic
mic2@debsudo:~$

Dans les deux cas, le mot de passe demandé est celui du compte utilisateur auquel on veut se substituer pour lancer une commande.

[lutshur]

Désolé, ma demande n'est pas en relation directe avec le sujet.

Mais bien sûr, si aucun mot de passe n'a été défini pour le compte root il ne sera pas possible d'accéder au compte root avec la commande su

Voilà, ce n'est pas que j'utilise su, mais on ne sait jamais.
Il me semblait que c'était le mot de passe de root que je tapais lorsque je choissais d'ouvrir un répertoire avec le menu contextuel "Ouvrir en tant qu'utilisateur root".
Il y a des subtilités que je découvre au fil de mes besoins.

[micapivi]

J'ai pour habitude d'installer debian en utilisant l'image ISO netinstall,
et, au cours de l'installation, une boîte de dialogue propose de donner un mot de passe au compte root

Dans cette boîte de dialogue, on peut lire que si on ne donne aucun mot de passe au compte root
alors le premier compte utilisateur non privilégié créé sera mis dans le groupe sudo
ce qui lui permettra d'accéder aux privilèges du compte root

Par contre, si dans cette même boîte de dialogue on donne un mot de passe au compte root
alors c'est avec la commande su et avec le mot de passe du compte root
que l'on pourra accéder aux privilèges du compte root

=======
Mais quand on fait une installation de debian ou ubuntu en utilisant une image ISO live
dans le système installé le compte root n'a pas de mot de passe,
et c'est donc avec la commande sudo que le premier compte utilisateur non privilégié créé pourra accèder aux privilèges du compte root

[lutshur]

Je vois la différence :
- Ouverture d'un répertoire en root avec le menu contextuel, puis "Ouvrir un terminal ici". Le résultat du prompt est chaine_personnalisable:/# . J'ai laissé volontairement les : dans la personnalisation. Donc ne reste que /#
- Ouverture du Terminal de Xfce directement. Commande su - avec entrée du mdp. Le prompt est chaine_personnalisable:~# .Idem que ci-dessus. Resterait ~#
- Ouverture du Terminal de Xfce directement. Commande su avec entrée du mdp. Le prompt est chaine_personnalisable:/home/utilisateur# dont :/home/utilisateur devrait aussi entrer dans la chaine personnalisable. Resterait #

[lutshur]

Donc ne reste que /#

Même pas. Suite essai sur un autre répertoire. Reste # . Tout ce qui précède le # est personnalisable

[micapivi]

Dans le prompt (variable d'environnement PS1) du shell bash, le caractère ~ (tilde) représente le répertoire personnel du compte utilisateur pour qui le shell bash a été ouvert.

Par exemple,

en voyant le prompt suivant :

mic@debsudo:~$

je vois que le shell courant a été ouvert pour le compte mic, compte qui a été créé sur le système dont le hostname est debsudo
Le tilde me permet de savoir que le répertoire courant est le répertoire personnel du compte utilisateur mic <=> /home/mic
le caractère $ final me permet de savoir que le compte utilisateur mic est un compte utilisateur non privilégié

=======
en voyant le prompt suivant :

root@debsudo:/home/mic#

je vois que le shell courant a été ouvert pour le compte root, compte qui a été créé sur le système dont le hostname est debsudo
Le répertoire courant affiché dans ce prompt est le même répertoire que dans le prompt précédent,
mais comme /home/mic n'est pas le répertoire personnel du compte root ce n'est plus un tilde qui est affiché.
le caractère # final me permet de savoir que le compte utilisateur root est bien le compte super-utilisateur

=======
en voyant le prompt suivant :

root@debsudo:~#

je vois que le shell courant a été ouvert pour le compte root, compte qui a été créé sur le système dont le hostname est debsudo
Le tilde me permet de savoir que le répertoire courant est le répertoire personnel du compte utilisateur root <=> /root
le caractère # final me permet de savoir que le compte utilisateur root est bien le compte super-utilisateur

[micapivi]

Voir dans le manuel du bash le chapitre INVITES et le paragraphe Développement du tilde
en lançant une des lignes de commande suivantes :

man --pager='less -p "^INVITES"' bash

man --pager='less -p "Développement du tilde$"' bash

[polo974]

Même pas. Suite essai sur un autre répertoire. Reste # . Tout ce qui précède le # est personnalisable

TOUT est personnalisable pour le prompt.

essaie dans une console
PS1='gag >'

et ton prompt sera 'gag >'...

Alors, ça se passe dans .profile (et dans .bashrc si bash est utilisé) à la racine du dossier utilisateur.
(avec valeur par défaut en dash PS1='$ ' user normal et PS1='# ' en root)

dans .bashrc, c'est un peu imbitable vu que le prompt est positionné selon les capacités couleur du terminal et que c'est un peu space entre les codes VT100 "améliorés" et les mots clés pour les variables usuelles (user, dossier courant, etc...).

[micapivi]

…dans .bashrc, c'est un peu imbitable …

C'est pourtant bien expliqué dans le chapitre INVITES du manuel du shell bash
auquel on peut accéder en entrant la ligne de commande suivante :

man --pager='less -p "^INVITES"' bash

Dans le chapitre INVITES(<=> prompt) du manuel du bash sont listés toutes les séquences d'échappement utilisables pour le promt.

Bien sûr, il faut savoir comment fonctionne un terminal, et connaître les séquences d'échappement qui permettent de choisir la couleur des caractères et du fond,
mais c'est un standard qui n'a pratiquement pas changé depuis 50 ans (VT100 et ANSI).

D'autant que ça n'utilise que les séquences d'échappement qui permettent de changer la couleur de fond et des caractères, (on peut même utiliser le clignotement)

Voir : ANSI Escape Sequences

[lutshur]

essaie dans une console
PS1='gag >'

Ca je le savais

dans .bashrc, c'est un peu imbitable

J'étais justement en train de fouiller dans .bashrc. C'est un peu touffu mais j'arriverai à comprendre.

Sinon, je vois l'utilité de "su -"
J'ai créé un compte "bidon1".
Si je veux me connecter sur ce compte depuis le compte en cours, en passant par l'interface graphique, je n'ai plus accès à rien du compte en cours.
Tandis qu'avec su - bidon1 dans un Terminal, je me retrouve dans /home/bidon1 et je peux lancer des trucs et machins. Il faut quand même aimer la ligne de commande

[lutshur]

et je peux lancer des trucs et machins

de bidon1 en étant bidon1, tout en restant connecté au compte en cours en profitant de son interface graphique.

[polo974]

Allez, on te donne les vt...
Habituellement, il y a 6 vt consoles et la 7ème est graphique (celle que tu connais).
vt c'est virtual terminal (ou un truc du genre) /dev/vt1 à 7 ou plus. il suffit de les demander pour les avoir, mais les login ne sont lancés (en général) que sur les 6 premières et le graphique dans la 7ème, j'ai déjà eu plusieurs graphiques en "même" temps, dont un sur le vt10, mais c'est pas standard.

Attention, un truc débile archaïque fait que le numlock n'est pas actif par défaut (je dis ça pour le mot de passe) ! ! !

Donc si en graphique, tu fais <ctrl>-<alt>-<F1>, tu bascules dans un écran tout noir avec un prompt de login. là, tu peux te connecter avec n'importe quel compte utilisateur existant ayant un mot de passe défini.

idem pour F2 à F6...

une fois en console texte, tu peux basculer de console avec <alt>-<F1 à F7> (F7 te ramenant dans le confort du graphique...)

pour savoir où tu es, il y a la commande tty qui te donne le terminal avec son numéro.
/dev/tty4 pour le vt 4 par exemple (j'aime bien F4 et F5, faciles à trouver sur un clavier normal, mais attention, en graphique, il faut le <ctrl>, sinon <alt>-<F4> ferme la fenêtre courante)
/dev/pts/0 pour la console 0 en mode graphique (ici, ce sont des pseudo terminaux,en userland)

Attention, si tu commences à utiliser les vt, ne laisse pas de console "ouverte" en arrière plan, tu peux utiliser la commande who pour savoir qui est là...

(la bascule en console peut être très utile si tu casses ton environnement graphique... il faut donc la maîtriser)

[lutshur]

Là, ça devient extrême pour un particulier.
Déjà "su" ne me fait pas défaut, alors les VT ...
Merci quand même

[antek]

Et pour la v5.35 vous avez une idée ?

[lutshur]

Lancer en root, cf #33. Encore que je n'ai pas compris comment elle a pu s'installer chez moi avec un sudo, cf #28

[antek]

Alors je recommence

xxx # ./MPLABX-v5.35-linux-installer.sh
64 Bit, check libraries
Check for 32 Bit libraries
Verifying archive integrity... All good.
Uncompressing MPLAB X v5.35 installer...
Unable to initialize installer.
Is /tmp writable ?
Is SELinux enabled? You may need to disable it temporarily
Please see below for details
http://docs.fedoraproject.org/en-US/Fed ... #id3037154
Unable to initialize installer.
Is /tmp writable ?
Is SELinux enabled? You may need to disable it temporarily
Please see below for details
http://docs.fedoraproject.org/en-US/Fed ... #id3037154
The program './MPLABX-v5.35-linux-installer.run' returned an error code (1)

Et si j'ai bien compris micapivi obtient le même résultat, avec le même OS que moi . . .

Tu as lequel ?

[lutshur]

Linux Mint.
Normalement avec le résultat de ce code

user=`env | grep '^USER=' | sed 's/^USER=//'`

#check if sudo, check UID for root
if [ "$user" != "root" -a "$UID" != "0" ]; then
echo "The installer needs to be run as root"

où UID!=0 est VRAI (UID différent de 0), l'installation aurait dû échouer. Or elle s'est déroulée sans encombre, j'ai même lancé le logiciel ensuite.

[lutshur]

Quelle guenille je suis!
Avec le shebang #!/bin/bash, le résultat ci-dessus est inversé.
bb.sh

#!/bin/bash
echo ""

user=`env | grep '^USER=' | sed 's/^USER=//'`

echo "test1, si UID différent de 0"
echo "\#if [ "UID" != "0" ]"
if [ "$UID" != "0" ]; then
echo "Vrai, N° UID="$UID
else
echo "Faux, N° UID="$UID
echo ""
fi
echo "test2, si UID égale 0"
echo "\# if [ "UID" = "0" ]"
if [ "$UID" = "0" ]; then
echo "Vrai, N° UID="$UID
else
echo "Faux, N° UID="$UID
echo ""
fi

résultat

:~/Téléchargements$ sudo ./bb.sh
[sudo] Mot de passe de *:
***
test1, si UID différent de 0
\#if [ UID != 0 ]
Faux, N° UID=0

test2, si UID égale 0
\# if [ UID = 0 ]
Vrai, N° UID=0
:~/Téléchargements$

[antek]

Donc dans ce cas comportement semblable à celui de Ubuntu.
Et la doc microchip recommande d'utiliser, sur Ubuntu, <xxx $ sudo ...> pour l'installation.

[lutshur]

C'est en forgeant qu'on devient forgeron
En puçant, puceron

[lutshur]

Et la doc microchip recommande d'utiliser, sur Ubuntu, <xxx $ sudo ...> pour l'installation.

Rien concernant la Debian... ? Ils auraient pu

[polo974]

la variable UID est uniquement définie en bash, et donc pas en dash.
/bin/sh est un lien qui pointe en général sur dash. (ça peut être "dangereux" de le changer)

tout script utilisant UID est donc prévu pour être lancé en bash.

on peut aussi ajouter en début la ligne suivante (qui positionne UID si vide):
[ -z "$UID" ] && export UID=$(id -u)

mais attention, le script peut utiliser d'autres spécificités du bash, donc prudence...

[JPL]

C'est en forgeant qu'on devient forgeron
En puçant, puceron

Et en sciant que Léonard devint scie...