diff docs/_test_destroy_thin_jail.sh @ 537:62cd970aea9c

Replace the use of "deprecated" egrep calls with "grep -E"
author Franz Glasner <fzglas.hg@dom66.de>
date Mon, 09 Sep 2024 14:28:55 +0200
parents 71fcef7b8e65
children
line wrap: on
line diff