La documentation d'Anaconda pour la gestion des environnements indique que l'activation d'un environnement se fait en utilisant: source activate <env-name> J'ai remarqué qu'avec conda installé, activateest dans le chemin: $ which activate /Users/dilum/anaconda/bin/activate La source trouve-t-elle également des fichiers dans le chemin? Et je suppose que le deuxième paramètre (le …
Pour exécuter un script bash ligne par ligne (afin de conserver les variables d'environnement, par exemple), on procède comme suit: $ . myscript.sh Ou: $ source myscript.sh J'ai un script PowerShell qui - entre autres - définit la valeur de l'invite via la fonction appelée prompt. La simple exécution de …
J'essaie de faire fonctionner watch correctement avec des commandes qui contiennent des guillemets, et la page de manuel watch n'est pas très détaillée sur le fonctionnement des guillemets. Pour donner un exemple concret, comment puis-je exécuter la commande suivante à l'intérieur de watch: ps -ef | awk -F' ' '{print …
Quand j'essaye de courir: ping www.google.com Je reçois l'erreur suivante: ping: icmp open socket: Permission denied Courir avec sudo ne fait pas de différence.
D'après ce que je comprends, ce qui suit devrait signifier exactement la même chose: ls -1 | xargs file {} ls -1 | xargs -I{} file {} Si l'option -I n'est pas spécifiée, sa valeur par défaut est -I {}. Je veux lister tous les fichiers du répertoire courant et …
J'utilise Git bash sous Windows 7. Cela me permet d'utiliser la plupart des commandes que j'avais l'habitude d'utiliser sur le shell bash de ma machine Ubuntu. Mais les commandes man et info ne fonctionnent pas. Existe-t-il un moyen de faire fonctionner ces (incroyables) commandes de documentation sur le shell Git …
Existe-t-il un moyen connu de réaliser la fonctionnalité "insérer le dernier argument de commande" habituellement disponible dans Bash en tapant Alt-. (Alt et période) sur OSX avec iTerm2? Je sais que cela devrait être possible de différentes manières: Alt + . Esc + . Le Esc-. on travaille, mais le …
Lorsque je démarre un terminal bash, mon fichier .profile n'est pas en cours d'exécution. Je n'ai ni ~ / .bash_profile ni ~ / .bash_login, donc .profile est censé s'exécuter, n'est-ce pas? Quoi d'autre pourrait-être faux?
Dans un script bash, comment dire "pour tous les fichiers de type .png ou .PNG"? J'essaie : for i in (`ls *.PNG` && `ls *.png`) mais obtenir une erreur de syntaxe.
Quelle est la signification de la lscommande suivante ? ls -l *\:2,*T ls = liste -l = long (liste) *Tsignifie probablement Tà la fin Mais qu'en est-il de cela *\:2et de la virgule?
J'ai fait une énorme erreur, ou du moins je pense que j'ai fait: j'ai "attrapé" ma clé SSH privée cat ~/.ssh/id_rsa J'ai maintenant peur d'avoir créé une faille de sécurité, permettant aux autres utilisateurs de voir ma clé privée en consultant l'historique bash / scrollback ou en utilisant d'autres méthodes. …
Disons par exemple que j'ai les fichiers suivants dans mon répertoire de travail: mjk0001.fits, mjk0002.fits, ... augmentant numériquement jusqu'à mjk9999.fits. Existe-t-il un moyen d'utiliser des caractères génériques UNIX pour répertorier ou opérer sur un groupe séquentiel d'entre eux? Par exemple, si j'ai besoin d'exécuter un processus sur 0025 à 0050, …
J'essaie d'exécuter un script .sh à partir de PHP, mais il ne s'exécute pas. J'ai vérifié les journaux d'erreurs et j'obtiens l'erreur «sh: Permission refusée». J'ai vérifié sous quel utilisateur php est exécuté, et c'est fait sous l'utilisateur apache. J'ai essayé de changer la propriété du .sh en utilisateur apache, …
J'utilise zsh et j'aime beaucoup, mais je travaille beaucoup avec la source Android qui a des scripts de compilation qui nécessitent que bash soit évalué correctement. Ces scripts doivent provenir de la compilation et définir les variables d'environnement et les fonctions shell utilisées lors de la compilation. Zsh ne peut …
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.