All settings are in file settings.xml. This file have a basic structure and consists of greeting
, prompt
and commands
sections. You able to use any commands or run files with scripts.
<?xml version="1.0"?>
<settings>
<greeting><!-- TODO --></greeting>
<prompt><!-- TODO --></prompt>
</settings>
<commands>
<Item>
<command><!-- TODO --></command>
<execute><!-- TODO --></execute>
</Item>
</commands>
greeting
- terminal greetingprompt
- common terminal promptcommands
- list of commandscommand
- what word will be used to execute scriptexecute
- script or file what will be executed
<!-- settings.xml -->
...
<greeting>date</greeting>
<prompt>printf "$USER:${PWD##*/}$ "</prompt>
...
# result
Tue May 19 20:55:49 EEST 2020
admin:Desktop$
# publish.sh
git add . ;
git commit ;
git push
<!-- settings.xml: -->
...
<Item>
<command>publish</command>
<execute>./publish.sh</execute>
</Item>
...
gcc
andg++
compilersc++11
or above C++ versions