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 04/09/2018, à 19:26

katian

[RESOLU] $PATH & question

Salut !

J'ai un pc fixe avec Ubuntu MATE 18.04.1 & un portable avec aussi Ubuntu MATE 18.04.1

le $PATH du pc fixe :

bash: /home/laurent/bin:/home/laurent/.local/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/usr/local/games:/snap/bin: Aucun fichier ou dossier de ce type

le $PATH du portable :

bash: /usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/usr/local/games:/snap/bin: Aucun fichier ou dossier de ce type

donc différents mais d'où cela peut-il venir ?

merci

Dernière modification par katian (Le 05/09/2018, à 03:01)

Hors ligne

#2 Le 04/09/2018, à 19:54

lann

Re : [RESOLU] $PATH & question

Tu n'as peut être pas installé ou upgradé ces deux versions en même temps.
Quelles sont les historiques de ces deux distributions sur le portable et le fixe ?

Hors ligne

#3 Le 04/09/2018, à 19:56

katian

Re : [RESOLU] $PATH & question

le PC fixe a eu une install fraîche il y a 2-3 mois sans formatage du home
le PC portable eu une install fraîche aujourd'hui sans formatage du home

Hors ligne

#4 Le 05/09/2018, à 02:59

katian

Re : [RESOLU] $PATH & question

alors en cherchant, je trouve sur le PC fixe un fichier $home/.profile :

# ~/.profile: executed by the command interpreter for login shells.
# This file is not read by bash(1), if ~/.bash_profile or ~/.bash_login
# exists.
# see /usr/share/doc/bash/examples/startup-files for examples.
# the files are located in the bash-doc package.

# the default umask is set in /etc/profile; for setting the umask
# for ssh logins, install and configure the libpam-umask package.
#umask 022

# if running bash
if [ -n "$BASH_VERSION" ]; then
    # include .bashrc if it exists
    if [ -f "$HOME/.bashrc" ]; then
	. "$HOME/.bashrc"
    fi
fi

# set PATH so it includes user's private bin directories
PATH="$HOME/bin:$HOME/.local/bin:$PATH"

et ce fichier n'existe pas sur le PC portable !

Hors ligne

#5 Le 05/09/2018, à 03:01

katian

Re : [RESOLU] $PATH & question

et la, mon problème est résolu...

Hors ligne