fix ssh configuration
[home-base.git] / .grep-dctrl-banner-shown