Je veux remplacer cela par gedit:
1299465 | 2003415 | 2015-09-06 05:35:34.59662+02
1299449 | 2009400 | 2015-09-06 05:35:32.301683+02
1299450 | 2008465 | 2015-09-06 05:35:32.451393+02
1299457 | 2015211 | 2015-09-06 05:35:33.451049+02
pour que:
2003415
2009400
2008465
2015211
Comment puis-je faire cela avec gedit?
Contexte: je veux le faire avec gedit et non sed / python / .... car le remplacement doit être fait de manière interactive.
Réponses:
Dans la boîte de remplacement standard ( Control+ H), vous pouvez utiliser une petite expression régulière groupée pour gérer cela:
.*\| (.*) \|.*
\1
C'est sur Gedit 3.10.4, la version par défaut dans Ubuntu 14.04.
la source
gedit
le 14.04 pour autant que je sache. J'ai détruit~/.config/gedit
et ça fonctionne toujours.Vous pouvez utiliser le plugin advanced-find pour gedit.
Installez le plugin à partir d' ici .
Les instructions (si vous ne le savez pas déjà) sur la façon d'implémenter un plugin gedit sont ici
Ensuite, utilisez la réponse d'Oli pour retirer les chiffres que vous voulez de votre question.
la source