From fef23397b5866576a59943f40878bdd64a8ce2af Mon Sep 17 00:00:00 2001 From: Starbeamrainbowlabs Date: Wed, 10 Apr 2019 12:37:47 +0100 Subject: [PATCH] monodevelop: add page (#2878) --- pages/common/monodevelop.md | 28 ++++++++++++++++++++++++++++ 1 file changed, 28 insertions(+) create mode 100644 pages/common/monodevelop.md diff --git a/pages/common/monodevelop.md b/pages/common/monodevelop.md new file mode 100644 index 0000000000..d489d453f7 --- /dev/null +++ b/pages/common/monodevelop.md @@ -0,0 +1,28 @@ +# monodevelop + +> Cross platform IDE for C#, F# and more. +> Homepage: . + +- Start Monodevelop: + +`monodevelop` + +- Open a specific file: + +`monodevelop {{path/to/file}}` + +- Open a specific file with the caret at a specific position: + +`monodevelop {{path/to/file}};{{line_number}};{{column_number}}` + +- Force opening a new window instead of switching to an existing one: + +`monodevelop --new-window` + +- Disable redirection of stdout and stderr to a log file: + +`monodevelop --no-redirect` + +- Enable performance monitoring: + +`monodevelop --perf-log`