On Fri, Jun 30, 2023 at 08:53:16AM +0200, Phi Debian wrote: > Well > > ┌─none:/home/phi > └─PW$ type sleep > sleep is hashed (/usr/bin/sleep) > > So sleep is not a builtin here.
This patch is for the sleep loadable builtin example distributed with bash. You can activate it using enable -f "$(pkg-config --variable=loadablesdir bash)"/sleep sleep On most linux distributions, it is installed with bash, on debian you need to install the bash-builtins package to have it. o/ emanuele6