Ceci est ma compréhension de l'utilisation de &, disownet nohup: <command>: exécute le processus au sein de l' bashinstance actuelle du terminal , au premier plan (c'est-à-dire que le processus est répertorié en tant que bashtâche de premier plan et stdin, stdoutet stderrsont toujours...
Je voudrais concentrer toute ma configuration de connexion dans mes fichiers ~/.bash_profile. Il y en avait un ~/.bashrcpar défaut mais je l'ai remplacé par un ~/.bash_profile. Cependant, lorsque je me connecte, quelque chose avant que mon ~/.bash_profilesoit obtenu et affiche les éléments...
J'ai récemment remplacé mon installation Ubuntu 14.04 par Ubuntu Gnome (fourni avec Gnome DE). Mais j'ai remarqué que l'historique bash n'est pas sauvegardé une fois la session du terminal fermée. Une fois que je ferme une session de terminal et en ouvre une nouvelle, et lance la commande,...
Je voudrais remplacer $fileWithPathdans $file, cependant cela ne fonctionne pas parce que (je pense) le chemin n'est pas échappé. Comment y échapper? sed -i 's/${fileWithPath}/HAHA/g'
Lors de l'utilisation du terminal dans une structure de dossiers profonds, l'invite peut parfois occuper la majeure partie de la ligne. Y at-il un moyen par lequel je peux couper le répertoire de travail? Je sais que je peux faire PS1="\W >" d’imprimer uniquement le répertoire en cours et non le...
Je connais les commandes pour vérifier le nom de la machine Linux s'exécutant sur ma machine. Par exemple: Ubuntu cat /etc/version CentOS cat /etc/issue Comment puis-je obtenir la sortie du terminal et comparer pour voir s'il s'agit d'UBUNTU ou de CENTOS et exécuter les commandes suivantes? apt-get...
Je cherchais la différence entre le "." et les commandes intégrées "source" et quelques sources (par exemple, dans cette discussion et la page de manuel bash ) suggèrent qu'elles sont identiques. Cependant, suite à un problème avec les variables d'environnement, j'ai effectué un test. J'ai créé un...
Je veux que chaque nouvel utilisateur ait désormais bash comme shell par défaut. Je sais que pour changer votre propre shell en bash, vous utiliseriez la commande "chsh -s / bin / bash", mais comment définir automatiquement le shell de tous les futurs utilisateurs sur bash par
J'ai ceci sur la ligne de commande: ln -sf $PWD/wine- et puis je frappe Tabpour compléter le nom de fichier. Dans les versions antérieures d'Ubuntu, cela complétait parfaitement le wine-nom de fichier (et l'effet secondaire $PWDserait étendu à ce moment-là). Mais maintenant, il se tourne vers ln...
Pourquoi bash est-il le shell par défaut de la plupart des systèmes d’exploitation (Ubuntu, Fedora, OSX, etc.)? Pourquoi de nombreux utilisateurs avancés utilisent-ils principalement zsh? Si c'est si bon, pourquoi n'est-ce pas le défaut? J'utilise les deux je ne vois pas de différence car toutes...
Comment vais-je rendre cette /media/De Soft/mongodb/binvariable PATH permanente? Tout le monde dit " export PATH=$PATH:media/De\ Soft/mongodb/binà votre ~/.profile, ou .bashrc, ou .zshenvselon votre shell". Je ne sais pas ce qui est ~/.profile, ou .bashrc, ou .zshenv. Que font-ils réellement?...
J'ai vu ce one-liner récemment: $ ps -ef | grep [f]irefox thorsen 16730 1 1 Jun19 ? 00:27:27 /usr/lib/firefox/firefox ... Donc, il semble retourner la liste des processus avec "firefox" dans les données mais en laissant de côté le processus grep lui-même, et semble donc à peu près équivalent à: ps...
Dire que je l' ai accidentellement désinstallé chaque émulateur de terminal sur mon système: xterm, uxterm, gnome-terminal, guake, etc. Est - il possible que je peux accéder bashsans un émulateur de terminal? Une façon possible de penser serait de créer et d’exécuter un script shell, mais à part...
J'essaie de créer un raccourci pour connecter mon serveur ssh: ssh x.x.x.x J'ai créé le fichier suivant: ssh_home.sh Le rend exécutable: sudo chmod +x ./ssh_home Vérifié par un clic droit sur les propriétés pour vérifier si c'était exécutable et si c'était .. Mais quoi que je fasse, si vous...
Je cherche à définir un proxy pour le terminal. Ce dont j'ai besoin, c'est que je souhaite envoyer toutes les communications du terminal à Internet via un proxy, par exemple tor. J'ai essayé de configurer un proxy à l'échelle du système. Mais Terminal n'obéit pas à la configuration du proxy à...
Je me demande à quoi sert d' shêtre symbolique dash? Je comprends que cela dashest supposé être plus rapide que bash, mais je ne sais pas pourquoi le shshell original n’est pas présent dans sh. Ou si quelque chose pourquoi n'est pas shlié à
Je viens d'installer Ubuntu 14.04.1 LTS. Selon .profile, # ~/.profile: executed by the command interpreter for login shells. # This file is not read by bash, if ~/.bash_profile or ~/.bash_login exists. Il n'y a ni ~ / .bash_profile ni ~ / .bash_login. Il ne semble pas que le fichier .profile soit à...
Quand j'exécute, cronj'obtiens cette faute cron: impossible d'ouvrir ou de créer /var/run/crond.pid: autorisation refusée Alors, comment le faire sans cron? PS je veux vérifier si le fichier dans svn a changé et j'ai un script spécial pour
J'ai écrit un script bash qui appelle plusieurs autres programmes et exécute un tas de commandes. Je lance ce script depuis le terminal. Maintenant, je veux tuer le script. Pressage Ctrl + C parfois ne suffit pas, je pense, car parfois, le script exécute un autre programme et, pour une raison...
Je dois supprimer tous les fichiers avec l'extension .gif, à l'exception d'un fichier portant le nom "filename.gif". Quel est le moyen optimal de procéder dans un terminal? La commande rm *.gifsupprime tous les fichiers gif, y compris le fichier