From bd045b8606641545a67fd3ec964d24a64b71a307 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?=E9=BB=84=E6=B0=B8=E7=94=9F?= Date: Mon, 18 Feb 2019 16:56:09 +0800 Subject: [PATCH] type: add page (#2783) --- pages/linux/type.md | 15 +++++++++++++++ 1 file changed, 15 insertions(+) create mode 100644 pages/linux/type.md diff --git a/pages/linux/type.md b/pages/linux/type.md new file mode 100644 index 0000000000..abefe1d3b7 --- /dev/null +++ b/pages/linux/type.md @@ -0,0 +1,15 @@ +# type + +> Display the kind of command the shell will execute. + +- Display the kind of a command: + +`type {{command}}` + +- Display all locations containing the specified executable: + +`type -a {{command}}` + +- Display the name of the disk file that would be executed: + +`type -p {{command}}`