Domande taggate «bash»

Bash (Bourne-Again SHell), è la shell utilizzata di default nell'interfaccia della riga di comando di Ubuntu.

Come determinare se una stringa è una sottostringa di un'altra in bash?

Voglio vedere se una stringa è all'interno di una porzione di un'altra stringa. per esempio: 'ab' in 'abc' -> true 'ab' in 'bcd' -> false Come posso farlo in un condizionale di uno script bash?

49 command-line bash scripts

Come posso pulire o disabilitare la cache di memoria?

Dopo l'avvio del sistema, in pochi minuti la mia cache di memoria si riempie e inizia a utilizzare lo swap. Ecco uno screenshot di / proc / meminfo. Tuttavia, se riesco a disabilitare questo processo / a pulire la cache una volta dopo, penso che il mio sistema accelererà in …

49 software-recommendation kernel bash memory cache

bashrc o bash_profile?

Conosco la differenza tra i due script di login bash: .bashrc è gestito solo da shell "non login". .bash_profile(o .bash_logino .profile) viene eseguito da shell "login". Qualcuno ha alcuni buoni esempi di quali sono le cose che si adattano meglio all'esecuzione di solo accesso, in modo che le inserissi solo …

49 scripts startup bash

Come reinizializzare una finestra del terminale invece di chiuderla e avviarne una nuova?

Quando apporto alcune modifiche al comportamento shell / bash, come l'impostazione di un alias, c'è un comando rapido per reinizializzare la finestra del terminale invece di chiudere e aprire una nuova finestra?

49 bash

Significato di exit 0, exit 1 e exit 2 in uno script bash

Sto facendo alcuni esercizi. Scrivi uno script a cui verrà assegnato un numero di mese come argomento e tradurrà questo numero in un nome di mese. Il risultato verrà stampato su stdout. Ho fatto una soluzione: #test for number of argument if [ "$#" -eq 0 ] ; then echo …

49 bash scripts

Comando per convertire una stringa maiuscola in minuscola?

Qual è il comando Bash che posso usare per convertire una stringa maiuscola in minuscola e viceversa? Grazie.

47 bash scripts

Calcolo del numero di righe in un file?

Come calcolare e visualizzare il numero di righe e parole contenute in un file .sh?

47 command-line bash

È possibile interrompere la creazione di .sudo_as_admin_successful?

Ogni volta che eseguo un comando con sudo, un file chiamato .sudo_as_admin_successfulviene creato nella mia directory home. Per quanto ne so, questo esiste al solo scopo di disabilitare questo messaggio che bash stampa all'avvio: To run a command as administrator (user "root"), use "sudo <command>". See "man sudo_root" for details. …

46 bash sudo

Ogni comando fallisce con "comando non trovato" dopo aver modificato .bash_profile?

Stavo aggiornando il mio .bash_profile, e sfortunatamente ho fatto alcuni aggiornamenti e ora sto ottenendo: env: bash: No such file or directory env: bash: No such file or directory env: bash: No such file or directory env: bash: No such file or directory env: bash: No such file or directory …

46 command-line bash

Come posso usare wget / curl per scaricare da un sito a cui ho effettuato l'accesso?

Alcune parti di Wikipedia appaiono in modo diverso quando hai effettuato l'accesso. Vorrei wget le pagine degli utenti in modo che appaiano come se fossi collegato. C'è un modo in cui posso wget pagine utente come questa http://en.wikipedia.org/wiki/User:A questa è la pagina di accesso: http://en.wikipedia.org/w/index.php?title=Special:UserLogin&returnto=Login&campaign=ACP3

46 bash wget

Concatenazione di più file .mp3 in un unico file .mp3

Come è stato suggerito qui sto usando il catcomando per concatenare diversi file .mp3 in un unico file .mp3. Immagina, ho i seguenti file .mp3 nella cartella corrente: 001001.mp3 001002.mp3 001003.mp3 001004.mp3 001005.mp3 o, in questo modo: 096001.mp3 096002.mp3 096003.mp3 096004.mp3 Ho bisogno di concatenare questi file .mp3 in una …

46 command-line bash files

/ etc / profilo non proveniente

Per 11.04, ho fatto una nuova installazione del mio sistema. Parte dell'installazione consisteva nell'installare rvm , che si attacca rvm.sha /etc/profile.d/. Questo non funziona in quanto /etc/profile(che carica ogni + r in /etc/profile.d/*.sh) non viene caricato. Secondo la documentazione, il profilo viene fornito solo se bash viene eseguito nel login. …

45 bash rvm

Come arrotondare i decimali usando bc in bash?

Un breve esempio di ciò che voglio usando lo script bash: #!/bin/bash echo "Insert the price you want to calculate:" read float echo "This is the price without taxes:" echo "scale=2; $float/1.18" |bc -l read -p "Press any key to continue..." bash scriptname.sh Supponendo che il prezzo sia: 48.86 La …

45 bash scripts bc

Come visualizzare i percorsi in $ PATH separatamente

Non riesco a capire come elencare i vari percorsi $PATHseparatamente in modo che appaiano così: /bin /usr/bin /usr/local/bin eccetera. Qualcuno conosce la variabile corretta per questo?

45 bash paths

Differenze tra virgolette "", virgolette '' e backtick `` sulla riga di comando?

Vedo spesso tutorial sul Web o post su questo sito che fanno un uso intenso dei seguenti personaggi nella riga di comando. Spesso sembra che vengano utilizzati per scopi abbastanza simili. Quali sono le differenze tra loro quando usato sulla riga di comando o per la programmazione della shell? Per …

43 command-line bash

Utilizzando il nostro sito, riconosci di aver letto e compreso le nostre Informativa sui cookie e Informativa sulla privacy.

Licensed under cc by-sa 3.0 with attribution required.