grepin käyttö. (ratkastu)

[E.K.Virtanen]

grep --help ei nyt oikein aukaissut mulle tätä, josko se sitten on mahdollista.

Shell "find /home/$USER | grep '.mp3' > file.txt && date >> file.txt"

Eli tuo on eräässä ohjelmassani, ja tarkoitus on että tuolla tehdään ensin file.txt jossa siis *.mp3 filet ja lopussa päiväys.

Vaan kun monesti on myös MP3 ja jopa Mp3 on kävellyt vastaan.
Jokaista kun erikseen lähtisi hakemaan niin alkaa aikaa kulumaan helpolla.
Saisiko siis tuohon greppiin joitain ehtolausekkeita niin että kerralla listaa niin mp3, MP3, Mp3 kuin mP3 filut?

[janne]

Saisiko siis tuohon greppiin joitain ehtolausekkeita niin että kerralla listaa niin mp3, MP3, Mp3 kuin mP3 filut?

siihen taitaa saada ihan regular expressioneita, mutta helpompaa tässä tapauksessa taitaa olla käyttää valitsinta -i. man-sivuilta:

-i, --ignore-case
              Ignore case distinctions in  both  the  PATTERN  and  the  input
              files.

[mgronber]

Shell "find /home/$USER | grep '.mp3' > file.txt && date >> file.txt"

Tuohon ei tarvita edes grep:iä sillä find osaa tehdä tuon myös.

Koodia: [Valitse]

$ find /home/$USER -iname '*.mp3' >file.txt && date >>file.txt


[moma]

"file" kommando voi olla myös avullinen koska Unix/Linux'issa ei oikeastaan filun-häntä (esim .mP3) palajon merkitse. Linux'i ei oo DOSsi.

$  file *

Ja myös:
$ file *[mM][Pp]3

// moma
   http://www.futuredesktop.org/how2burn.html#Ubuntu

[E.K.Virtanen]

Kiitoksia