Existe-t-il un outil permettant de scinder un fichier texte volumineux (9 Go) en fichiers plus petits afin que je puisse l'ouvrir et le parcourir?
Tout ce qui est utilisable à partir de la ligne de commande fournie avec Windows (XP)?
Ou quel est le meilleur moyen de le scinder? Puis-je utiliser 7z pour créer des volumes séparés, puis décompresser l'un d'eux séparément? Sera-t-il lisible ou faut-il que toutes les autres parties soient décompressées dans le gros fichier?
Mise à jour
J'ai mis en place un script python de 48 lignes qui scinde le fichier volumineux en fichiers de 0,5 Go qu'il est facile d'ouvrir, même dans vim. J'ai juste besoin de regarder à travers les données vers la dernière partie du journal (oui, c'est un fichier journal). Chaque enregistrement étant divisé sur plusieurs lignes, grep ne le ferait pas.
grep -n
avechead
ettail
pour voir des morceaux du fichier. Exemple,grep -n "something" file.txt
retourne95625: something
. Vous voulez voir cette ligne et 9 lignes en dessous pour un total de 10 lignes:head -n 95635 file.txt | tail -n 10
.