Questions marquées «script»

25
Forcer Google Chrome à rechercher de nouveaux fichiers JavaScript chaque fois que j'accède à un site Web

Donc, si je vais aux options Internet dans Internet Explorer: Je peux ajuster les paramètres lorsque IE vérifie les mises à jour: Puis-je faire quelque chose de similaire dans Google Chrome? À l'heure actuelle, lorsque je modifie mon fichier JavaScript et que je débogue à partir de Visual Studio,...

23
Comment extraire du texte d'un pdf en script sous Linux?

Sous Linux - Comment extraire du texte d'un texte .pdfdans lequel le texte est vraiment du texte, pas une image numérisée? Je veux quelque chose que je peux utiliser sur la ligne de commande / dans un script, pas de manière interactive. (Je ne veux pas convertir .tifet utiliser l'OCR - le texte est...

23
Comment exécuter un script shell sous Windows? [dupliquer]

Cette question a déjà des réponses ici : Comment exécuter le fichier .sh sous Windows? (15 réponses) Fermé il y a 2 ans . 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 . Je suis un utilisateur Mac et nouveau sur Windows....

22
ssh et shell via ssh: comment sortir?

Je lance un script distant via SSH comme ceci: ssh user@ipaddress '~/my_script.sh' Tout va bien mais une fois le script terminé, la connexion n'est pas fermée. Je dois appuyer sur CTRL-C pour rompre la connexion actuelle. J'ai essayé la commande "exit" dans '~ / my_script.sh' et c'est inutile. J'ai...

22
Convertir HTML en image

Contexte Conversion par lots de divers fichiers source à coloration syntaxique (C, SQL, Java, PHP, batch, bash) en images haute résolution (600 dpi), adaptés à un livre électronique et à un livre imprimé. Solutions échouées Un certain nombre de tentatives jusqu'à présent: OpenOffice ou LibreOffice...