Pertanyaan yang diberi tag bash

1
Keluaran buangan dari REPL

Saya sedang menulis program SML, dan saya ingin cara cepat melihat output dari menjalankan program di REPL tanpa benar-benar menjalankan REPL (untuk dengan cepat melihat apakah suatu program memiliki kesalahan sintaksis - saya berencana untuk menggunakan ini sebagai make program untuk file .sml...

1
linux menemukan masalah perintah

Saya memiliki skrip shell yang ditulis untuk Mac OSX dan sekarang porting ke mesin linux. Saya tidak memiliki akses ke mesin linux saat ini (saya akan segera menyiapkan mesin virtual) Beberapa pernyataan dalam skrip shell gagal, yang diharapkan. Saya memiliki pernyataan perintah find yang digunakan...

1
Apakah ini bug di atas?

Baris perintah ini: top -l 3 -n 10 -o "vprvt" Untuk beberapa alasan ada dua proses yang secara konsisten merangkak naik di kedua output sampel terlepas dari ukuran VPRVT mereka yang sebenarnya, dan mereka tidak muncul dalam sampel pertama atau ketiga (atau sampel lebih lanjut seperti yang...

1
Konversikan dengan keberanian dari bash

Saya memiliki beberapa file .wav (diberi nomor dari 1) yang ingin saya konversi menjadi .mp3. audacity dapat melakukannya dengan membuka file dan mengekspor menggunakan GUI-nya. Apakah ada cara saya melakukan ini dengan perintah bash sehingga saya bisa melakukan seluruh pekerjaan dengan bash...

1
Hapus pengguna yang belum masuk selama x hari

dapatkan kode sederhana di bawah ini USERS=`cat /etc/passwd` for USER in $USERS do echo "---------- $USER --------------" last -n 4 $USER done Saya ingin menghapus semua pengguna yang belum masuk selama lebih dari 60 hari. Tetapi masalah dengan membaca /etc/passwdadalah bahwa saya mendapatkan...

1
Bagaimana cara berinteraksi dengan bash?

Saya tahu ini pasti pertanyaan yang aneh, tetapi bagi saya, itu selalu berkembang C, C++dan Java(dan sekarang bash) tampaknya lebih sulit, aneh. Saya mencoba memeriksa apakah md5dan filenamedari dua daftar (satu dari server jauh saya dan satu lagi dari server lokal saya) cocok. Inilah yang saya...

1
Memfilter input dengan sed (regex)

Saya mengalami masalah dengan sed tidak mengembalikan apa yang saya harapkan ketika menggunakan pola regex untuk membersihkan beberapa output dari permintaan mysql. mysql -uroot -p -e 'SELECT `path` FROM db.media_gallery' | sed -n -r 's/[^\/]+([^\s]+).*/\1/p' Kueri mengembalikan banyak baris...