monodevelop: add page (#2878)
This commit is contained in:

committed by
Marco Bonelli

parent
51e3430a38
commit
fef23397b5
28
pages/common/monodevelop.md
Normal file
28
pages/common/monodevelop.md
Normal file
@@ -0,0 +1,28 @@
|
|||||||
|
# monodevelop
|
||||||
|
|
||||||
|
> Cross platform IDE for C#, F# and more.
|
||||||
|
> Homepage: <https://www.monodevelop.com/>.
|
||||||
|
|
||||||
|
- 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`
|
Reference in New Issue
Block a user