diff zshrc-linux-gnu @ 158:08620c68ca55

add a default .profile which runs a zsh. This comes in handy on systems where you cannot chsh
author Dirk Olmes <dirk@xanthippe.ping.de>
date Sat, 14 Dec 2019 06:13:05 +0100
parents fa52868da3d4
children 2cc8820caae0
line wrap: on
line diff