diff options
Diffstat (limited to 'src/lib/random.source.sh')
| -rw-r--r-- | src/lib/random.source.sh | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/lib/random.source.sh b/src/lib/random.source.sh index 5a1ef59..ca5c7d3 100644 --- a/src/lib/random.source.sh +++ b/src/lib/random.source.sh @@ -66,9 +66,11 @@ maybe_shuffle() { if random_seed_is_set; then deterministic_shuffle else - sort -R + # $SORT (compat.source.sh): -R (random shuffle) is GNU-only. + "$SORT" -R fi else + # Plain sort here is POSIX-portable; no GNU-only flag involved. sort fi } |