J'ai besoin de regarder un flux RSS de notre serveur hudson ci. Chaque fois qu'une nouvelle entrée est disponible, je veux jouer un son en appelant #>play sound.wav. Est-ce que quelqu'un connaît un outil qui peut regarder un flux rss et lancer une commande chaque fois qu'une nouvelle entrée apparaît? …
Je code Scala et sa convention est d'utiliser des espaces doubles par niveau pour l'identification. Mais l'utilisation de différents éditeurs rend mes sources remplies d'un mélange d'espaces et d'onglets. Je voudrais refactoriser tous les fichiers (fichiers * .scala, en fait, mais cela n'est pas nécessaire) (dans un répertoire donné et …
Quelqu'un connaît-il un moyen simple de produire le PostScript correspondant à une version en surbrillance syntaxique d'un fichier source qui peut être dirigé directement vers une imprimante PostScript? Comme le suggère probablement le libellé de la question ci-dessus, je recherche quelque chose que je peux exécuter à partir de la …
J'ai un dossier avec 100 images jpg. Je veux convertir ces images en un fichier pdf de plusieurs pages, avec toutes les images (recadrées au format A4). Ils sont déjà dans la bonne rotation. Quels outils dois-je utiliser?
Je cherche un moyen de synchroniser la musique sur mon téléphone Android sans avoir à charger quelque chose comme banshee. Je sais qu'il existe de nombreuses façons de synchroniser des fichiers , mais je suis intéressé par la synchronisation des listes de lecture et par le fait que les listes …
Lorsque j'installe php5-cli sur Debian Wheezy (en cours de test), l'invite interactive est très inutilisable en raison du manque de prise en charge de la ligne de lecture (bug 341868 ). Quelle est la façon la plus simple d'installer une version liée à libreadline (pour l'édition de ligne utilisable)?
Existe-t-il un moyen rapide de vérifier si un fichier compressé est vide, ou dois-je le décompresser en premier? exemple: $ touch foo $ if [ -s foo ]; then echo not empty; fi $ gzip foo $ if [ -s foo.gz ]; then echo not empty; fi not empty $ …
Comparer echo -n "bar" avec echo "bar" -n Le premier fait ce que je pense qu'il est censé faire (imprime "bar" sans nouvelle ligne), tandis que le second ne le fait pas. Est-ce un bug ou par conception? Pourquoi est-il différent de nombreux programmes cli en ce sens que vous …
Je recherche un outil de balisage en ligne de commande qui prend en charge le balisage ogg et mp3 et permet d'ajouter une image aux balises. Actuellement j'utilise lltagmais cela ne supporte pas les photos. daggerest l'outil que j'utilise avant, mais il manque également de support d'image.
J'ai une longue liste de noms de domaine que je dois supprimer de / etc / remotedomains. Ils ne sont probablement pas dans un ordre particulier dans le fichier. Chaque domaine est sur une seule ligne. Comment pourrais-je parcourir la liste et trouver cette ligne dans des domaines distants et …
Recherche d'idées sur la mise en place d'un environnement de développement pratique et productif pour le développement C. J'ai trouvé l' édition C avec Vim très utile, mais j'aimerais obtenir un échantillon plus large de suggestions.
Existe-t-il une ligne de commande simple pour extraire la dernière partie d'une chaîne séparée par des tirets? Par exemple, je veux extraire 123de foo-bar-123.
date +%b me donne l'abréviation à trois lettres du nom du mois en cours (je l'ai trouvé en ligne, ce n'est pas dans mon man dateet je ne peux pas trouver la réponse à cette question dans mon man date). Comment obtenir le nom du jour actuel? par exemple Soleil, …
J'ai essayé les deux commandes et la commande find | grep 'filename' est beaucoup plus lente que la find 'filename' commande simple . Quelle serait une explication appropriée de ce comportement?
J'avais installé CentOS (CLI, minimal) .il n'a pas d'interface graphique.Je veux me connecter au WiFi mais les réponses sur askubuntu ne fonctionnent pas. .Je veux savoir ce qui suit: - Comment activer / désactiver le WiFi? Comment obtenir la liste des connexions WiFi disponibles? Comment connecter le WiFi avec lequel …
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.