diff --git a/pages.es/common/type.md b/pages.es/common/type.md new file mode 100644 index 000000000..2f8c3d046 --- /dev/null +++ b/pages.es/common/type.md @@ -0,0 +1,21 @@ +# Tipo + +> Muestra el tipo de comando que ejecutará el intérprete de comandos. +> Nota: todos los ejemplos no son compatibles con POSIX. +> Más información: . + +- Muestra el tipo de un comando: + +`type {{comando}}` + +- Muestra todas las rutas con el ejecutable especificado (solo funciona en los intérpretes de comandos Bash/fish/Zsh): + +`type -a {{comando}}` + +- Muestra el nombre del archivo en disco que se ejecutaría (solo funciona en intérpretes de comandos Bash/fish/Zsh): + +`type -p {{comando}}` + +- Muestra el tipo de un comando específico, alias/palabra clave/función/integrado/archivo (solo funciona en intérpretes de comandos Bash/fish): + +`type -t {{comando}}`