Não consigo encontrar este comando no Ubuntu. Não parece existir. Eu até acho muito estranho que o post no StackOverflow diga que é um comando builtin quando não consigo encontrá-lo no Ubuntu.
Editar: Como Matt observou, é um comando csh embutido. A seguir, dicas para fazer o mesmo com o bash.
Se o que você quer é repetir um comando n vezes, você pode fazer isso com um loop:
for i in {1..n}; do yourcommand; done
Por exemplo, para imprimir 100 vezes "Funciona", use:
for i in {1..100}; do echo "It works"; done
Se você quiser ter uma função repeat
, adicione algo assim ao seu ~/.bashrc
:
function repeat() {
local times="$1";
shift;
local cmd="$@";
for ((i = 1; i <= $times; i++ )); do
eval "$cmd";
done
}
Fonte seu ~/.bashrc
novamente com . ~/.bashrc
e você pode chamá-lo:
$ repeat 2 date
Mon Dec 21 14:25:50 CET 2009
Mon Dec 21 14:25:50 CET 2009
$ repeat 3 echo "my name is $USER"
my name is raphink
my name is raphink
my name is raphink