From 9ac5a701dff9e808a34fb38f8024404adf6494f9 Mon Sep 17 00:00:00 2001 From: CreeperFace <165158232+dy-tea@users.noreply.github.com> Date: Fri, 20 Dec 2024 18:44:16 +0000 Subject: [PATCH] v: add page (#15235) Co-authored-by: Juri Dispan --- pages/common/v.md | 36 ++++++++++++++++++++++++++++++++++++ 1 file changed, 36 insertions(+) create mode 100644 pages/common/v.md diff --git a/pages/common/v.md b/pages/common/v.md new file mode 100644 index 0000000000..f2e2912790 --- /dev/null +++ b/pages/common/v.md @@ -0,0 +1,36 @@ +# v + +> A tool for managing V source code. +> More information: . + +- Compile a file and output its executable: + +`v {{path/to/file.v}}` + +- Compile the current project or directory: + +`v .` + +- Compile a file and run it: + +`v run {{path/to/file.v}}` + +- Compile a file and run it, output its executable: + +`v crun {{path/to/file.v}}` + +- Re-compile on every modification to a file: + +`v watch {{path/to/file.v}}` + +- Re-run on every modification to a file: + +`v watch run {{path/to/file.v}}` + +- Open the v repl: + +`v repl` + +- Format a file and [w]rite to it: + +`v fmt -w {{path/to/file.v}}`