Pour une raison quelconque, je ne parviens pas à faire en sorte que mon système conserve mon historique BASH après un redémarrage. Voici les sections pertinentes de mon ~/.bashrc: shopt -s histappend PROMPT_COMMAND='history -a; updateWindowTitle' export HISTCONTROL=ignoredups export HISTSIZE=9999 export HISTFILESIZE=999999 export HISTFILE="$HOME/.bash_history" Pour autant que je sache, ce sont …
Supposons que j'ai un script shell bash appelé Myscript.shqui nécessite un argument en entrée. Mais je veux que le contenu du fichier texte appelé text.txtsoit cet argument. J'ai essayé mais cela ne fonctionne pas: cat text.txt | ./Myscript.sh Y a-t-il un moyen de faire cela?
J'installe une nouvelle machine Linux que j'ai obtenue de notre service informatique, et .profilej'ai remarqué qu'elle n'est pas chargée lorsque je démarre une nouvelle session de terminal. Le shell actuel est Bash , bien que je l'aie changé par rapport au sh par défaut fourni. Comment le charger .profileau démarrage? …
Cette question a été migrée depuis Stack Overflow car il est possible d'y répondre sur Super User. Migré il y a 7 ans . Il y a quelque temps, j'ai supprimé par erreur mon dossier personnel car j'ai exécuté un rm -rf *sur le mauvais terminal, dont le répertoire de …
Cette question a été migrée depuis Stack Overflow car il est possible d'y répondre sur Super User. Migré il y a 8 ans . J'avais l'habitude de rétrograder mon compte d'utilisateur afin qu'il n'ait pas de privilèges d'administrateur et j'ai utilisé une astuce «sudo-like» où vous créez un raccourci vers …
Je sais que je peux définir "Shells open with" dans les préférences du terminal, mais je suis curieux de savoir s'il existe un moyen de définir cela à l'échelle du système (similaire à la mise à jour de / etc / passwd dans certains Unix).
J'essaie d'enregistrer la sortie d'une commande dans un fichier. La commande est: clang -Xclang -ast-dump -fsyntax-only main.cpp > output.txt Cependant le fichier output.txt résultant lorsqu'il est ouvert (par gedit et jedit sur ubuntu) me donne ceci: [0;1;32mTranslationUnitDecl[0m[0;33m 0x4192020[0m <[0;33m<invalid sloc>[0m> [0;33m<invalid sloc>[0m [0;34m|-[0m[0;1;32mTypedefDecl[0m[0;33m 0x4192558[0m <[0;33m<invalid sloc>[0m> [0;33m<invalid sloc>[0m implicit[0;1;36m __int128_t[0m …
Est-ce que rm -rf *supprimer tous les fichiers / dossiers dans le répertoire courant? Je veux m'assurer que le caractère générique *ne montera pas dans les répertoires supérieurs et effacera tout mon système de fichiers. :RÉ Je me souviens faire chmod 777 .* -Rà des chmodfichiers cachés et chmoded tout …
Je pense que ce sont les moyens courants de passer le résultat d'une commande à la suivante, en tant qu'entrées. Comment fonctionnent ces trois? Ou quels sont certains sites Web / URL?
J'utilise fish comme shell dans Debian et récemment (après une mise à niveau) chaque fois que j'essaie d'utiliser la complétion de commande, j'ai: set: No such file or directory set: Could not add component /usr/lib/x86_64-linux-gnu/libfm to PATH. set: No such file or directory Exécuter ceci: echo $PATH Me donne ceci: …
J'utilise Mac OS et parfois certains travaux doivent être effectués à l'aide d'un proxy, je dois donc changer fréquemment mes paramètres de proxy. Mais changer le paramètre proxy dans les Préférences Système est très compliqué. Existe-t-il un moyen de modifier mon paramètre de proxy à l'aide de la ligne de …
Je veux voir ce que j'ai tapé sur ma ligne de commande bash un certain jour il y a une semaine. Existe-t-il un moyen de récupérer l'historique de la ligne de commande? Quelque chose comme ci-dessous, peut-être? > history --include-date | grep 2012-02-27`
Je viens de commencer à approfondir les scripts shell, et je viens de jeter mon script dans un fichier, de le marquer chmod +x, puis de le faire /path/to/script.shet de laisser le choix de l'interpréteur par défaut, ce que j'ai supposé être zsh parce que c'est ce que J'ai utilisé …
We use cookies and other tracking technologies to improve your browsing experience on our website,
to show you personalized content and targeted ads, to analyze our website traffic,
and to understand where our visitors are coming from.
By continuing, you consent to our use of cookies and other tracking technologies and
affirm you're at least 16 years old or have consent from a parent or guardian.