Memposting pertanyaan dengan rasa ingin tahu, saya ingin membuat direktori seperti Januari, Februari ... hingga Desember, jadi saya membuatnya dengan memberi nama secara individual. ( mkdir January February
.... dll) Apakah mungkin membuat direktori atau nama file dengan nama semua bulan dengan mudah?
misalnya: touch {1..10}
akan membuat 10 file 1,2,3 ... 10 dengan mudah, seperti ini apakah ada solusi lain untuk membuat file atau direktori dengan nama bulan?
sumber
Python tahu semua nama bulan:
Atau, kita dapat menggunakan python secara langsung untuk membuat direktori:
Jantung di atas adalah
[os.mkdir(m) for m in calendar.month_name if m]
yang membuat direktori untuk setiap bulan dicalendar.month_name
. Ini akan menghasilkan pesan kesalahan dan berhenti jika salah satu direktori sudah ada. Jika kita ingin menghindari itu, kita dapat menguji keberadaan direktori sebelum memanggilmkdir
:Contoh:
Penginternasionalan
Stéphane Chazelas menunjukkan bahwa di atas mencetak nama bulan Inggris. Untuk mendapatkan nama bulan lokal, ia menyarankan:
sumber
locale mon
lebih unggul dan sudah memiliki +1 saya.)Menggunakan locales dan mengasumsikan Linux (output dari
locale(1)
berbeda pada sistem lain) danbash(1)
:sumber
months=($mon)
bukansh
sintaks. Ituksh93
ataubash
sintaksisnya.