Christian Knoke schrieb am Montag, den 05. März 2018: > GREP_OPTIONS ist deprecated. GREP_COLORS nicht. GREP_COLORS erwartet aber etwas anderes als '--colors=auto' Grüße Christian -- Wer auf den großen Erfolg nicht vorbereitet ist, verbringt den Rest seines Lebens beim Psychiater. -- Frederic Loewe