il est facile en bash de récupérer soit le nom de ficher soit l'extension avec ça :
FILE="example.tar.gz"
~% echo "${FILE%%.*}"
example
~% echo "${FILE#*.}"
tar.gz
À partir de ça, on peut caser le numéro ou une date où on veut. Mais je préfère finalement avoir la date à la fin, même si ça "perturbe" l'extension, les cas où on a besoin de récupérer un fichier sont peu nombreux, et au pire des cas on peut aussi faire un script pour effacer automatiquement l'extension avec date autogénérée.
Je préfère également avoir ce genre de chose dans un alias de mon ~/.bashrc, c'est plus pratique que dans un script en python je trouve.
« I approve of any development that makes it more difficult for governments and criminals to monopolize the use of force. » Eric Raymond
[^] # Re: Ou sinon
Posté par fravashyo . En réponse au journal Un petit script pour sauvegarder rapidement un fichier. Évalué à 6.
il est facile en bash de récupérer soit le nom de ficher soit l'extension avec ça :
À partir de ça, on peut caser le numéro ou une date où on veut. Mais je préfère finalement avoir la date à la fin, même si ça "perturbe" l'extension, les cas où on a besoin de récupérer un fichier sont peu nombreux, et au pire des cas on peut aussi faire un script pour effacer automatiquement l'extension avec date autogénérée.
Je préfère également avoir ce genre de chose dans un alias de mon ~/.bashrc, c'est plus pratique que dans un script en python je trouve.
« I approve of any development that makes it more difficult for governments and criminals to monopolize the use of force. » Eric Raymond