Ich möchte dies durch gedit ersetzen:
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
dazu:
2003415
2009400
2008465
2015211
Wie kann ich das mit gedit machen?
Hintergrund: Ich möchte es mit gedit machen und nicht mit sed / python / .... da das Ersetzen interaktiv erfolgen muss.
Antworten:
Aus dem standardmäßigen Ersetzen-Feld ( Control+ H) können Sie einen kleinen gruppierten regulären Ausdruck verwenden, um dies zu handhaben:
.*\| (.*) \|.*
\1
Dies ist auf Gedit 3.10.4, der Standardversion in Ubuntu 14.04.
quelle
gedit
soweit ich das beurteilen kann, am 14.04. Ich habe mit Atomwaffen gearbeitet~/.config/gedit
und es funktioniert immer noch.Sie können das Plugin advanced-find für gedit verwenden.
Installieren Sie das Plugin von hier .
Die Anweisungen (falls Sie sie noch nicht kennen) zum Implementieren eines gedit-Plugins finden Sie hier
Verwenden Sie dann Olis Antwort, um die gewünschten Zahlen aus Ihrer Frage zu entfernen.
quelle