Cum elimin HHMMSS dintr-un nume de fișier în Linux/Unix?

Am un nume de fișier mahelipaul_YYYYMMDDHHMMSS, trebuie să elimin o parte HHMMSS din fișier și să o atribui unei variabile noi.

Am nevoie de fișier ca mahelipaul_YYYYMMDD. Cum pot face asta?

Cu Bash, puteți folosi „slicing” pentru a tăia un număr de caractere dintr-un șir. Se pare că doriți să eliminați ultimele 6 caractere și se poate face astfel: (acesta este doar un alt mod de a face la fel ca în răspunsul lui Glenn)

$ filename=mahelipaul_20201231235959
$ echo „${filename::-6}” # elimina ultimele 6 caractere
mahelipaul_20201231

Dacă doriți opusul (pentru a păstra doar ultimele 6 caractere, atunci va fi așa:

$ filename=mahelipaul_20201231235959
$ echo „${filename:(-6)}” # păstrează numai ultimele 6 caractere
235959

Rețineți că „doar” atribui o variabilă și imprimez noua. Trebuie să utilizați aceste variabile modificate pentru a crea noi variabile, fișiere sau orice doriți de fapt să faceți.

găsesc asta Referință Bash cu adevărat util.

Cel mai simplu

filename=mahelipaul_20201231235959
echo mv "$filename" "${filename%??????}" # elimina ultimele 6 caractere

Eliminați ecoul dacă arată corect.

Există lucruri mai complicate care pot fi făcute pentru a valida sufixul este de 14 cifre și pentru a vă asigura că acele cifre reprezintă un marcaj temporal valid.