Saya memiliki sejumlah file log yang terlihat seperti ini:
/*
header
arbitrary number of lines
*/
blah blah
blah blah
Menggunakan perintah Bash sederhana (lebih disukai sed, bukan awk), bagaimana saya akan mengambil hanya baris header (idealnya termasuk penanda komentar)?
Saya sudah RTFM dan mencoba googling, juga ditemukan beberapa petunjuk , tapi tidak cukup untuk memulai.
Terima kasih!