diff zshrc-linux-gnu @ 9:7364a3399187

do not save history to avoid cross-shell history
author Dirk Olmes <dirk@xanthippe.ping.de>
date Thu, 01 Dec 2011 09:18:41 +0100
parents 2cd74a85976a
children fa52868da3d4
line wrap: on
line diff