Créer une nouvelle commande terminal
Résolu/Fermé
cyrius24
Messages postés
8
Date d'inscription
jeudi 23 août 2007
Statut
Membre
Dernière intervention
1 juin 2008
-
23 août 2007 à 14:05
lami20j Messages postés 21331 Date d'inscription jeudi 4 novembre 2004 Statut Modérateur, Contributeur sécurité Dernière intervention 30 octobre 2019 - 23 août 2007 à 14:36
lami20j Messages postés 21331 Date d'inscription jeudi 4 novembre 2004 Statut Modérateur, Contributeur sécurité Dernière intervention 30 octobre 2019 - 23 août 2007 à 14:36
A voir également:
- Créer une nouvelle commande terminal
- Darkino nouvelle adresse - Guide
- Invite de commande - Guide
- Flixcord nouvelle adresse - Guide
- Commande terminal mac - Guide
- Yggtorrent nouvelle adresse - Guide
4 réponses
lami20j
Messages postés
21331
Date d'inscription
jeudi 4 novembre 2004
Statut
Modérateur, Contributeur sécurité
Dernière intervention
30 octobre 2019
3 567
23 août 2007 à 14:13
23 août 2007 à 14:13
Salut,
1.
2. si $HOME/bin existe fait seulement la 2ème méthode
normalement $HOME/bin se trouve dans PATH
lami20j
1.
echo 'alias script=$HOME/script' >> $HOME/.bashrc source $HOME/.bashrcou
2. si $HOME/bin existe fait seulement la 2ème méthode
normalement $HOME/bin se trouve dans PATH
mkdir $HOME/bin mv $HOME/script $HOME/bin--
lami20j
cyrius24
Messages postés
8
Date d'inscription
jeudi 23 août 2007
Statut
Membre
Dernière intervention
1 juin 2008
7
23 août 2007 à 14:32
23 août 2007 à 14:32
Salut,
Merci pour ta réponse. J'ai testé la première méthode, mais la commande n'est toujours pas reconnue.
Pourtant dans le fichier .bashrc la ligne suivante a bien été rajoutée :
nom_de_la_commande=$HOME/script.sh
La commande "source $HOME/.bashrc" sert bien à réinitialiser?
cyrius24
Merci pour ta réponse. J'ai testé la première méthode, mais la commande n'est toujours pas reconnue.
Pourtant dans le fichier .bashrc la ligne suivante a bien été rajoutée :
nom_de_la_commande=$HOME/script.sh
La commande "source $HOME/.bashrc" sert bien à réinitialiser?
cyrius24
cyrius24
Messages postés
8
Date d'inscription
jeudi 23 août 2007
Statut
Membre
Dernière intervention
1 juin 2008
7
23 août 2007 à 14:35
23 août 2007 à 14:35
Oups..................................
C'est bon, j'avais oublié alias en début de ligne (je croyais que cela faisait partie du nom de la commande^^)
La solution suivante est donc correcte :
echo 'alias script=$HOME/script' >> $HOME/.bashrc
source $HOME/.bashrc
Merci une fois de plus pour ta réponse
C'est bon, j'avais oublié alias en début de ligne (je croyais que cela faisait partie du nom de la commande^^)
La solution suivante est donc correcte :
echo 'alias script=$HOME/script' >> $HOME/.bashrc
source $HOME/.bashrc
Merci une fois de plus pour ta réponse
lami20j
Messages postés
21331
Date d'inscription
jeudi 4 novembre 2004
Statut
Modérateur, Contributeur sécurité
Dernière intervention
30 octobre 2019
3 567
23 août 2007 à 14:36
23 août 2007 à 14:36
Il faut avoir
et pour prendre en compte toute de suite il faut faire source .bashrc sinon tu redémarres le shell
à avoir aussi les droits d'exécution sur script.sh
la commande alias te permettra de voir les alias
alias nom_de_la_commande=$HOME/script.sh
et pour prendre en compte toute de suite il faut faire source .bashrc sinon tu redémarres le shell
à avoir aussi les droits d'exécution sur script.sh
la commande alias te permettra de voir les alias