July 28, 2020
Viewee18277

Let gpg handle SSH

Lorenz Hüdepohl authored on28/07/2020 16:29:03
December 9, 2014
Viewce271d2

Apparently GREP_OPTIONS is deprecated

Lorenz Hüdepohl authored on09/12/2014 18:16:51
December 4, 2014
View397c583

Changes for RZG

Lorenz Hüdepohl authored on04/12/2014 12:40:10
June 29, 2014
Viewb974acb

Better to only highlight user@hostname in sudo prompt

Lorenz Hüdepohl authored on29/06/2014 00:48:01
June 16, 2014
Viewb10106c

Add some useful environment variables

Lorenz Hüdepohl authored on16/06/2014 12:19:01