#1 Le 09/05/2016, à 21:20
- gigiair
[Résolu] source /etc/environment ne répond pas
Pour aider à l'installation de TeXLive, j'ai conseillé à un posteur de mettre à jour /etc/environment, et pour lui épargner le redémarrage de la session, je lui ai demandé d'évaluer la commande
source /etc/environment
Il obtient un message d'erreur. Il me dit qu'il a mis à jour dernièrement sa distribution Ubuntu.
Peut-on en déduire que sa distribution est bancale ?
:~$ sudo source /etc/environment
sudo: source : commande introuvable
Je suis personnellement sous Debian Stretch dont les prochaines versions d'Ubuntu hériteront, donc très à jour, et je n'ai jamais eu de tels problèmes.
Voir le fil raccourcis ne fonctionnent pas @forum.mathematex.net
Dernière modification par gigiair (Le 10/05/2016, à 06:25)
--
JJR.
Hors ligne
#2 Le 09/05/2016, à 21:37
- GnuTux
Re : [Résolu] source /etc/environment ne répond pas
Attention, sur Debian Testing tu n'a pas les mises a jour de sécurité ! et comme les paquets passe d'abord dans la version "Sid" de Debian, si le mainteneur du paquet corrige un bug, là aussi tu le recevra en retard.
En général le choix ce fait entre la "stable" et la "unstable".
Notre forum d'informatique ici : [url]http://[Spam probable, merci de signaler][/url]
Besoin d'assistance sous Linux ? c'est [url=http://[Spam probable, merci de signaler]/distributions-gnulinux-unix-like]ICI[/url] (raccourci pour vous créer un compte [url=http://[Spam probable, merci de signaler]/register]LÀ[/url])
Hors ligne
#3 Le 09/05/2016, à 23:02
- alius
Re : [Résolu] source /etc/environment ne répond pas
C'est tout a fait normal ! source n'est pas une commande, c'est une fonction intégré du shell.
si tu fais
man source
tu ne tombera sur rien.
Donc il ne faut l'utiliser avec sudo, mais simplement faire :
source /etc/environment
Alius
Hors ligne
#4 Le 10/05/2016, à 01:32
- MicP
Re : [Résolu] source /etc/environment ne répond pas
…Il obtient un message d'erreur…
Dit comme ça, c'est un peu vague :
Peut-être que l'interpréteur de commandes n'est pas bash => voir :
echo $SHELL
======
…si tu fais
man source
tu ne tombera sur rien.
…
Si l'interpréteur de commandes est bien bash
pour les commandes internes du bash (builtins) on peut utiliser la commande help
help source
voir aussi :
man builtins
Hors ligne
#5 Le 10/05/2016, à 06:24
- gigiair
Re : [Résolu] source /etc/environment ne répond pas
Merci beaucoup, je transmets. Ce qui est bien avec Linux, c'est qu'il y a toujours quelque chose à apprendre.
--
JJR.
Hors ligne