annotate .bash_extras @ 195:5f3c36e4fd6d default tip

add target test-core which (dangerously) avoids (we hope pointless) recompilation of all the plugins
author Henry S. Thompson <ht@inf.ed.ac.uk>
date Thu, 26 Sep 2024 17:55:56 +0100
parents acae526510e2
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
185
acae526510e2 too many overdue updates to break down
Henry S. Thompson <ht@inf.ed.ac.uk>
parents: 157
diff changeset
1 /work/dc007/dc007/hst/../shared/.bash_extras