I made this, in case you do not really care about the IDE:
https://intfiction.org/t/a-couple-of-scripts-for-installing-and-running-inform7-in-linux-from-the-cli/44628
Just my two cents 
2 Likes
I made this, in case you do not really care about the IDE:
https://intfiction.org/t/a-couple-of-scripts-for-installing-and-running-inform7-in-linux-from-the-cli/44628
Just my two cents