Guides

How to Install Extensions and Resources

Step 1. Run package installer (download here ).
Guide Image 1: How to Install Extensions and Resources

Step 2. Select for which terminal files should be installed.
Guide Image 2: How to Install Extensions and Resources

Step 3. Select which files should be installed.
Guide Image 3: How to Install Extensions and Resources

Step 4. Select additional Start Menu shortcuts.
Guide Image 4: How to Install Extensions and Resources

Step 5. Click 'Next' to complete.
Guide Image 5: How to Install Extensions and Resources
Guide Image 6: How to Install Extensions and Resources