J'ai besoin d'ajouter les lignes suivantes à la fin du fichier .bashrc dans Ubuntu. Comment puis-je ajouter ces lignes automatiquement à l'aide d'un script. Si j'exécute le script, il insère automatiquement les lignes à la fin du fichier .bashrc. export APP="/opt/tinyos-2.x/apps" export...
Voici le contenu du stock ~/.profilefourni avec mon 13.10 (lignes commentées supprimées): if [ -n "$BASH_VERSION" ]; then if [ -f "$HOME/.bashrc" ]; then . "$HOME/.bashrc" fi fi if [ -d "$HOME/bin" ] ; then PATH="$HOME/bin:$PATH" fi C'est hérité de Debian mais pourquoi Canonical a-t-il décidé de le...
Le terminal affiche ceci lors de son ouverture: bash: /home/atlas/.bashrc: line 73: syntax error near unexpected token `[' bash: /home/atlas/.bashrc: line 73: `if [ -x /usr/bin/dircolors ] ; then ' J'ai essayé de le réparer en utilisant: cp /ect/skel/.bashrc ~/ Et je reçois ceci: cp: cannot stat...
Existe-t-il un moyen de copier le contenu actuellement écrit de l'invite bash? Disons que j'ai écrit: ping www.google.com de sorte que les lignes du terminal ressemblent à: petr@sova:~$ ping www.google.com et n'a pas encore touché le retour. Je veux copier ce texte dans le presse-papiers. Est-ce...
J'essaie d' intégrer RVM avec gnome-terminal . Par défaut, gnome-terminal ne démarre pas bash en tant que shell de connexion. J'ai activé run command as a login shellcomme suggéré dans cette réponse sur le même sujet la configuration de RVM, mais lorsque je le fais, le .bashrcfichier n'est pas lu....
J'ai foiré bigtime avec le fichier bashrc. J'installais Gurobi et je devais définir des variables de chemin dans le fichier bashrc. J'ai donc remplacé tout le texte de bashrc par les variables de chemin et enregistré le fichier bashrc. Et je me suis également assuré que, si quelque chose se passe...
J'ai cette ligne dans ma main .bashrcet j'aimerais savoir ce que cela signifie exactement # If not running interactively, don't do anything [[ $- != *i* ]] && return
Quand bash rencontre une commande inconnue (mot?), Il fait ceci: The program 'hello' can be found in the following packages: * hello * hello-debhelper Try: sudo apt-get install <selected package> ce que je voudrais savoir, c'est comment cela est fait pour que je puisse le modifier ou ajouter...
Par exemple, si je devais exécuter la commande adduser test, le .bashrc est-il créé automatiquement lors de la création du répertoire personnel de l'utilisateur test? S'il n'est pas créé lors de la création de l'utilisateur, dans quelles conditions est-il créé? De plus, si j'ajoute un fichier...
Je n'arrive pas à trouver d'informations claires sur ce qu'est le .bashrcfichier et ce qu'il fait exactement. Merci pour toute l'aide jusqu'ici. Il semble que ce script fasse tout, depuis la coloration, l'achèvement, les alias et l'historique du shell, etc. Y a-t-il quelque chose qui ne semble pas...
Lorsque je démarre un terminal dans Ubuntu, je vois: ilya@HOST:~$ Je dois ajouter un horodatage à cela, quelque chose comme: 2011-10-09T09:32:00 ilya@HOST:~$ Comment puis-je configurer
J'ai utilisé la réponse dans /unix//a/1292/41729 pour activer l'historique partagé en temps réel entre des terminaux bash distincts. Comme expliqué dans la réponse ci-dessus, ceci est réalisé en ajoutant: # avoid duplicates.. export HISTCONTROL=ignoredups:erasedups # append history entries.. shopt...
J'utilise Conda pour la gestion des packages en Python. J'ai un environnement de base que j'utilise presque tout le temps, et je veux qu'il soit chargé par défaut lorsque j'ouvre un terminal. Comment configurer mon .bashrcpour charger l'environnement? Jusqu'à présent, j'ai essayé source activate...
J'utilise un script bash pour démarrer gnome-terminal avec plusieurs onglets, chaque onglet utilisant un profil différent, un répertoire de travail et, dans certains cas, exécutant une commande dans l'onglet. Dans cette situation, j'aimerais que la touche flèche vers le haut récupère les commandes...
Je sais déjà que vous pouvez obtenir de jolies citations / blagues en utilisant le programme fortune . Mais j'ai trouvé dans ce script urwird une nouvelle source de plaisir que j'aimerais avoir lorsque j'ouvre un nouveau terminal. Cette fois, les blagues proviennent de http://www.icndb.com...
Comment puis-je utiliser ces flèches rouges et vertes dans l'invite bash? mise à jour 1 C'est mon .bashrcdossier if [ "$color_prompt" = yes ]; then PS1='${debian_chroot:+($debian_chroot)}\[\033[01;32m\]\[\033[00m\]\ [\033[01;34m\]→ \w\[\033[00m\]\$ ' else PS1='${debian_chroot:+($debian_chroot)}→...
Je crois que la question dit tout. Aussi, s'il n'existe pas, où le créer. Ubuntu
Avant de cliquer, ce n'est pas la question typique "comment faire pour que mon invite bash ait une couleur". J'ai déjà personnalisé mon invite bash pour qu'elle ressemble à ceci: [user @ host]----[$(pwd)] $ où tout entre parenthèses est bleu clair, et tout le reste (y compris $) est noir en...
J'ai gnome-terminal et Guake installés. Je veux donner différents messages de démarrage à afficher sur ces émulateurs de terminal au démarrage. Quel code dois-je écrire dans .bashrc pour que cela soit
J'essaie d'avoir une partie de mon invite définie dynamiquement par une fonction, donc dans mon .bashrcj'ai: asdf () { echo -n $(pwd) } PS1="\u@\h:\w $(asdf)\$ " Ouvrir un shell me donne ce que j'attends au début: $ bash darthbith@server:~/test /home/darthbith/test$ Cependant, lorsque je change de...