Découper un fichier.txt en plusieurs partie
Résolu/Fermé
Ka-El
Messages postés
260
Date d'inscription
lundi 28 novembre 2011
Statut
Membre
Dernière intervention
7 août 2020
-
6 août 2019 à 15:36
lEprofSonDkon Messages postés 211 Date d'inscription jeudi 13 décembre 2018 Statut Membre Dernière intervention 8 octobre 2022 - 7 août 2019 à 00:56
lEprofSonDkon Messages postés 211 Date d'inscription jeudi 13 décembre 2018 Statut Membre Dernière intervention 8 octobre 2022 - 7 août 2019 à 00:56
A voir également:
- Découper un fichier texte en plusieurs parties
- Fichier rar - Guide
- Comment ouvrir un fichier epub ? - Guide
- Comment réduire la taille d'un fichier - Guide
- Comment découper un pdf - Guide
- Ouvrir un fichier .bin - Guide
1 réponse
dubcek
Messages postés
18758
Date d'inscription
lundi 15 janvier 2007
Statut
Contributeur
Dernière intervention
24 décembre 2024
5 623
Modifié le 6 août 2019 à 18:32
Modifié le 6 août 2019 à 18:32
hello
awk -v n=1 '{print > "fichier." sprintf("%02d", n) ".txt"} /#?FIN/ {n++}' fichier.txt
6 août 2019 à 22:32
Superbe ! :-)
Je suis à chaque fois épaté....
En tout cas, merci beaucoup pour ton aide ;-)
Ka-El
6 août 2019 à 22:53
oui, oui, c'est du plagiat.
XD
6 août 2019 à 23:25
D'ailleurs comme je vois que vous êtes en forme, vous sauriez faire la même chose, mais cette fois-ci en batch ? :-)
7 août 2019 à 00:56
en bash, ce n'est pas compliqué (l'algo est le même) :
une boucle pour lire le fichier ligne par ligne
un simple test pour évaluer si la ligne correspond à l'expression recherchée pour alors incrémenter la variable numérique
et une redirection de la ligne lue dans le fichier souhaité
rien de compliqué.