Bash-ben shopt (egyesszám) a parancs neve, a ksh-val meg az a baj, hogy a gépemen se a ksh93-nak, sem a pdksh-nak nem létezik ilyen opciója. Milyen ksh-verzióban találtad ezt? Eseteg az se ksh, hanem mondjuk zsh? (Bár ez utóbbira meggyőző érveket nem találtam egy gyors guglizással.)