You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Beim Sichten des ersten PR ist mir folgendes eingefallen: Einige Editoren fügen beim Speichern automatisch ein newline-Zeichen am Ende der Datei ein, wenn da keins steht, und einige nicht. Die Vorteile sind:
Zeilen sind einheitlich; jede Zeile endet mit einem newline-Zeichen, auch die letzte
Das wiederum macht die Verarbeitung leichter
Nachteile:
Man verschwendet ein byte
Ich bin dafür, aber ihr könnt mal eure Meinungen hier rein schreiben. Irgendwer sollte dann, wenn sich alle einig sind, mal gucken, wie wir das erzwingen, also ähnlich wie in #20. Außerdem sollten wir zumindest die von euch geschriebenen Dateien dann einmal durchgehen und sie vereinheitlichen.
The text was updated successfully, but these errors were encountered:
Related to #20
Beim Sichten des ersten PR ist mir folgendes eingefallen: Einige Editoren fügen beim Speichern automatisch ein newline-Zeichen am Ende der Datei ein, wenn da keins steht, und einige nicht. Die Vorteile sind:
Nachteile:
Ich bin dafür, aber ihr könnt mal eure Meinungen hier rein schreiben. Irgendwer sollte dann, wenn sich alle einig sind, mal gucken, wie wir das erzwingen, also ähnlich wie in #20. Außerdem sollten wir zumindest die von euch geschriebenen Dateien dann einmal durchgehen und sie vereinheitlichen.
The text was updated successfully, but these errors were encountered: