jetbrains

IntelliJ IDEA is a Java IDE. This is a commercial product, although there is a free and open-source IntelliJ community edition, but this is a cut down version and it is only available to certain types of user.

see

This software has a number of add-ins such as MPS (more information on page here) which allows you to design your own DSL (domain specific language).

Install

In browser go to: www.jetbrains.com

Download tar file and extract

mjb@localhost:~> cd idea-IC-213.6777.52/bin
mjb@localhost:~/idea-IC-213.6777.52/bin> ./idea.sh
No protocol specified
No protocol specified
No protocol specified
Mar 02, 2022 11:41:15 AM java.util.prefs.FileSystemPreferences$1 run
INFO: Created user preferences directory.
Mar 02, 2022 11:41:15 AM java.util.prefs.FileSystemPreferences$6 run
WARNING: Prefs file removed in background /home/mjb/.java/.userPrefs/prefs.xml
No protocol specified
No protocol specified
No protocol specified
mjb@localhost:~/idea-IC-213.6777.52/bin> cd ~/.config/JetBrains/IdeaIC2021.3
mjb@localhost:~/.config/JetBrains/IdeaIC2021.3

Now we can start jetbrains by typing:

mjb@localhost:~> cd idea-IC-213.6777.52/bin
mjb@localhost:~/idea-IC-213.6777.52/bin> ./idea.sh

welcome page image

 

plugins page image

Next

To use Arend see page here.


metadata block
see also:
Correspondence about this page

This site may have errors. Don't use for critical systems.

Copyright (c) 1998-2023 Martin John Baker - All rights reserved - privacy policy.