diff bin/_ex1.sh @ 9:05820245a047

work around problem with PROMPT_COMMAND
author Henry S. Thompson <ht@inf.ed.ac.uk>
date Sat, 23 Jul 2022 11:50:02 +0100
parents 668579197bec
children
line wrap: on
line diff