Contenu | Rechercher | Menus

Annonce

Si vous avez des soucis pour rester connecté, déconnectez-vous puis reconnectez-vous depuis ce lien en cochant la case
Me connecter automatiquement lors de mes prochaines visites.

À propos de l'équipe du forum.

#1 Le 09/05/2016, à 22: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, à 07:25)


--
JJR.

Hors ligne

#2 Le 09/05/2016, à 22: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 10/05/2016, à 00: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, à 02: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, à 07: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