Ho notato la seguente opzione nel kernel: CONFIG_DEVTMPFS Device Drivers -> Generic Driver Options -> Maintain devtmpfs to mount at /dev E vedo che è abilitato di default nel kernel di distribuzione Debian 3.2.0-4-amd64 Sto cercando di capire quale differenza porti questa opzione. Senza questa opzione, /devè montato come tmpfs, …
È possibile avere un shebang che, invece di specificare un percorso per un interprete, abbia il nome dell'interprete e consenta alla shell di trovarlo attraverso $ PATH? In caso contrario, c'è un motivo per cui?
Sto usando Ubuntu, ma ho i3 come gestore delle finestre invece di un ambiente desktop. Quando la mia batteria raggiunge lo 0%, il computer si spegne improvvisamente, nessun avviso o altro. Esiste un semplice script o configurazione che posso impostare in modo che vada a dormire, diciamo al 4% della …
Uso regolarmente catper visualizzare le informazioni di debug nella console dalla mia scheda di sviluppo FPGA tramite la connessione seriale, ma non ho mai dovuto dire a Linux qual è il baud rate. Come fa Cat a sapere qual è la velocità di trasmissione della connessione seriale?
Mi ritrovo spesso a fare la stessa cosa con tmux: cd in una determinata directory. tmux Rinomina la finestra con quello che sto facendo. Dividi la finestra verticalmente del 50%. Avvia un processo nella finestra di sinistra. Avvia un altro processo nella finestra a destra. Profitto. C'è un modo per …
Di recente ho provato l'emulatore simh pdp11. L'immagine del disco che ho usato può essere trovata su Internet e le istruzioni per l'avvio sono disponibili qui . Presumibilmente apparteneva a Dennis Ritchie, in quanto il nome utente è "dmr". Nella cartella / usr / games ci sono circa 20 giochi …
Ho una directory piena di file di testo. Il mio obiettivo è quello di aggiungere del testo all'inizio e alla fine di tutti. Il testo che va all'inizio e alla fine è lo stesso per ogni file. Basato sul codice che ho ricevuto dal web, questo è il codice per …
Quindi sto usando 'sed' su Linux da un po ', ma ho avuto un po' di difficoltà nel provare ad usarlo su OSX poiché 'POSIX sed' e 'GNU sed' hanno così tante piccole differenze. Attualmente sto lottando su come inserire una riga di testo dopo un certo numero di riga. …
Quindi ho iniziato a usare zsh. Mi piace tutto bene. Sembra molto bello e fluido, e il fatto che l'attuale directory di lavoro e la riga di comando attuale siano su linee diverse è bello, ma allo stesso tempo, sto notando che zshpuò essere un po 'più lento di bash, …
In bash, so che è possibile scrivere un forciclo in cui una variabile di controllo del ciclo iscorre su interi specificati. Ad esempio, posso scrivere uno script di shell bash che stampa gli interi tra 1 e 10: #!/bin/bash for i in {1..10} do echo $i done È possibile invece …
Questa domanda è stata migrata dallo Stack Overflow perché è possibile rispondere a Exchange Stack Unix e Linux. Migrato 7 anni fa . Stiamo scrivendo script per sistemi Linux, c'è stato qualche dibattito su quale sarebbe il linguaggio di scripting presente più universalmente Linux da usare. Bash, SH, Posix? Che …
Sto riscontrando dei problemi con NFS e mi piacerebbe provare a usare semplicemente il vecchio TCP. Non ho idea da dove cominciare, però. Per quanto riguarda l'hardware, sto usando un cavo crossover Ethernet per collegare in rete due netbook. Per collegarli in rete, scrivo $ sudo ifconfig eth0 192.168.1.1 up …
Ho alcuni script Python in giro e sto lavorando per riscriverli. Ho lo stesso problema con tutti loro. Non è ovvio per me come scrivere i programmi in modo che si comportino come strumenti unix adeguati. Perchè questo $ cat characters | progname e questo $ progname characters dovrebbe produrre …
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.