CmdID / Commands
Vala code runner. tldr-pages
On several platforms
Opens CmdID with your command. It is read in your browser and sent nowhere.
Vala code runner. Tutorial: <https://wiki.gnome.org/Projects/Vala/Tutorial>.
Run a vala file, with gtk+
vala path/to/file.vala --pkg gtk+-3.0
Display help
vala --help
Display version
vala --version