Codifico Scala e la sua convenzione è di usare doppi spazi per livello per l'identificazione. Ma usare editor diversi rende le mie fonti piene di un mix di spazi e schede. Vorrei refactificare tutti i file (file * .scala, in realtà, ma non è necessario specificarlo) (in una determinata directory …
Devo guardare un feed RSS dal nostro server ci hudson. Ogni volta che è disponibile una nuova voce, voglio riprodurre un suono chiamando #>play sound.wav. Qualcuno conosce uno strumento che può guardare un feed RSS e lanciare un comando ogni volta che appare una nuova voce? Ho dato un'occhiata rsstailma …
Qualcuno sa un modo semplice per produrre il PostScript corrispondente a una versione evidenziata dalla sintassi di un file sorgente che può essere reindirizzato direttamente a una stampante PostScript? Come probabilmente suggerisce la formulazione della domanda sopra, sto cercando qualcosa che posso eseguire dalla riga di comando. Sto pensando a …
Ho una cartella con 100 immagini jpg. Voglio convertire queste immagini in un file pdf multipagina, con tutte le immagini (ritagliate in formato A4). Sono già nella rotazione corretta. Quali strumenti dovrei usare?
Sto cercando un modo per sincronizzare la musica sul mio telefono Android senza dover caricare qualcosa come banshee. So che ci sono molti modi per sincronizzare i file , ma sono interessato a sincronizzare le playlist e fare in modo che le playlist dettino quali file sono sincronizzati.
Quando installo php5-cli su Debian Wheezy (attualmente in fase di test), il prompt interattivo è molto inutilizzabile a causa della mancanza del supporto readline (bug 341868 ). Qual è il modo più semplice per installare una versione collegata a libreadline (per la modifica della linea utilizzabile)?
Esiste un modo rapido per verificare se un file compresso con zip è vuoto o devo prima decomprimerlo? esempio: $ touch foo $ if [ -s foo ]; then echo not empty; fi $ gzip foo $ if [ -s foo.gz ]; then echo not empty; fi not empty $ …
Confrontare echo -n "bar" con echo "bar" -n Il primo fa quello che penso dovrebbe fare (stampa "bar" senza una nuova riga), mentre il secondo no. Si tratta di un bug o di progettazione? Perché è diverso da molti programmi di cli in quanto non puoi spostare le opzioni? Ad …
Sto cercando uno strumento di codifica da riga di comando che supporti la codifica ogg e mp3 e che consenta di aggiungere un'immagine ai tag. Attualmente uso lltagma non supporta le immagini. daggerè lo strumento che uso prima ma manca anche il supporto delle immagini.
Ho un lungo elenco di nomi di dominio che devo rimuovere da / etc / remotedomains. Probabilmente non sono in alcun ordine particolare nel file. Ogni dominio è su una riga. Come potrei scorrere l'elenco e trovare quella linea in domini remoti e rimuoverla.
Alla ricerca di idee sulla creazione di un ambiente di sviluppo conveniente e produttivo per lo sviluppo C. Ho trovato molto utile l' editing in C con Vim, ma vorrei ottenere un campione più ampio di suggerimenti.
date +%b mi dà l'abbreviazione di tre lettere del nome del mese corrente (l'ho scoperto online, non è nella mia man datee non posso trovare la risposta a questa domanda nella mia man date). Come posso ottenere il nome del giorno corrente? ad es. dom, lun, mar, ecc.?
Ho provato entrambi i comandi e il comando find | grep 'filename' è molte volte più lento del semplice find 'filename' comando. Quale sarebbe una spiegazione corretta per questo comportamento?
Avevo installato CentOS (CLI, minimo) .non ha una GUI. Voglio collegarmi al WiFi ma le risposte su askubuntu non funzionano. Voglio sapere quanto segue: - Come attivare / disattivare il WiFi? Come ottenere l'elenco delle connessioni WiFi disponibili? Come connettere WiFi con cui voglio connettermi?
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.