Ändern der Git Konfliktmarker

8

Ist es möglich, die Konfliktmarker in etwas benutzerdefiniertes zu ändern?

Motivation:

Es ist mir mehrmals passiert, dass es aufgrund der übereilten und nicht sehr sorgfältigen Zusammenführung mehrerer Zweige einige Merge-Tags in meinem LaTeX-Dokument gibt. Bei den meisten Programmierprojekten würden diese Tags zu einem Syntaxfehler führen und daher würde ich sie erkennen. In Latex ist jedoch die & lt; & lt; & lt; ==== und & gt; & gt; Tags werden einfach in andere Zeichenfolgen ohne Warnung kompiliert.

Um dies zu beheben, möchte ich diese Konfliktmarker in etwas ändern, das nicht kompiliert wird, oder es zumindest sehr offensichtlich macht, um es zu erkennen (z. B. Seitenumbrüche, große Schriftartenwarnungen oder Kompilierungswarnungen).

Ich könnte natürlich ein (Bash-) Skript erstellen, das all diese Markierungen durch etwas meiner Wahl ersetzt, aber ich würde eine elegantere Lösung für dieses Problem bevorzugen.

P.S. Ich habe die Option merge.conflictyle gefunden, aber die Option diff3 fügt nur die |||| hinzu Marker, der auch ohne Warnung kompiliert.

    
Laar 09.07.2012, 11:28
quelle

2 Antworten

7

Selbst wenn es einen Weg gäbe, benutzerdefinierte LaTeX-spezifische Konfliktmarker zu erstellen (ich glaube nicht, dass es da ist, aber ich könnte sehr wohl falsch liegen), könnte es schwierig sein, einen zu wählen, der in allen Fällen funktioniert. Eine einfachere Lösung wäre es, den "pre-commit" -Hook von git zu aktivieren, der Konfliktmarker zur Commit-Zeit identifiziert und das Commit ablehnt, wenn sie vorhanden sind. Um es zu aktivieren:

%Vor%

Der Aktien-Hook, der mit git ausgeliefert wird, sucht auch nach Leerraumfehlern. Um den Check manuell auszuführen, verwenden Sie folgenden Befehl:

%Vor%     
Christopher 09.07.2012, 11:39
quelle
1

Vielleicht können Sie das Attribut conflict-marker-size mit einer großen Zahl ändern. Mit große Zahl meine ich eine Zahl, die eine Latexwarnung auslösen würde, weil die Linie zu lang ist.

%Vor%     
Antoine Pelisse 09.07.2012 12:00
quelle

Tags und Links