use head -n 1 instead of head -1 (likewise for tail)#125
Merged
ocaisa merged 1 commit intoEESSI:mainfrom Nov 12, 2025
Merged
use `head -n 1` instead of `head -1` (likewise for `tail`)#125ocaisa merged 1 commit intoEESSI:mainfrom
ocaisa merged 1 commit intoEESSI:mainfrom