Theia IDE updated - test nedded

Plugins & Skills Feedback / Support
1

New release of this skill is on its way.

  • Installer rewrite so picroft is downloading precompiled package and prepaired for
    other precompiled packages for other platforms. Installer wil always install latest Theia-for-Mycroft from https://github.com/andlo/theia-for-mycroft/

  • Installer Builds and compile on systems where there isnt precompiled package for if system has more than 4 Gb memmory.

  • No more support for Mark_1 as debian jessie isnt supported and theia cant build properly.

  • Change to default open workspace in mycroft.core directory

  • Debug is working by using PTVSD, but requere remote-debug skill to activate and inject debug adaptor https://github.com/andlo/remote-debug-skill and change settings for padatious single_thread. remote-debug skills is at time of writing on way to market and PR to makea setting for controling padatious single_thread is on its way to mycroft.core.

How to install Theis IDE skill

Install the beta by asking Mycroft to “Install Theia ide beta” og by using mycroft-msm

mycroft-msm --latest install theia-ide

How to test Theia IDE skill

I would like to hear if this skill installs and run on different platforms.

Where feedback on Theia IDE skill should be directed a

Feedback on the Skill is prefeared through Issues on GitHub but Mycroft Chat an reply on this post are also OK.

2 Likes
2

Andlo,

It installed for me on my picroft RasPi 4:

root@picroft:~# mycroft-msm --latest install theia-ide
INFO - building SkillEntry objects for all skills
INFO - Best match (1.0): theia-ide by andlo
INFO - Downloading skill: https://github.com/andlo/theia-ide-skill
INFO - Installing system requirements...
INFO - Installing requirements.txt for theia-ide
INFO - Successfully installed theia-ide
INFO - invalidating skills cache

I’m not sure exactly how to test it.

-Mike Mac

1 Like
3

Super so far.

If you say “Hey mycroft - Run Theia IDE” he should start the IDE and tel you it is running.

Go to a web browser an type http://picroft:3000 and there shoud be a IDE right in your browser.

I obly have testedon a Pi3 so not sure it wil work on the 4, but I guess it will.

I did notise that it didnt install on a fresh ubuntu on WSL and are looking into that soon.

4

Andlo,

Yes, I type in the CLI:

 run theia ide                                                               skills.log, other
 >> Theia I D E is up and running. To access, open a webbrowser and go to    voice.log
    picroft kolon 3000

I point a browser to http://192.168.0.162:3000/ and see, I guess and IDE. Cool! Seems like it could be very useful.

But what to do with it? Is there a document?

-Mike Mac
1 Like
5

Great to hear. Yes an on device IDE is very usefull for making skills - not having to deal with setting up this self, but just get startet is usefull imho.

I am working on getting the debug adaptor injected in mycroft.skills, and then debugging is posible. It is very cool to se step by stem what is going on iside skills and mycroft.core.

6

If you just wants something simpler - this skill gives you a webbased terminal and/or webbased mycroftcli-client. Some people like making programs in vim, vi or nano :slight_smile: but I like the IDE more :slight_smile:

7

Andlo,

Yes, I found https://theia-ide.org/ and have been playing with the IDE. This is very cool! Yeah, maybe SSH sessions and vi have seen their better days :grin:

-Mike Mac
1 Like
8

Tested this skill on ubunto in a WSL and on a fedora on a PC. Both installed and are working as they should.

At the same time I have been working on remote-debug skill to enable debuging from THEIA IDE and/or other IDE’s like vs code. This is working to :slight_smile:

9

Tried this again after some time, but got a Python type error:

2021-12-27 15:56:56.057 | INFO     |  4139 | mycroft.skills.settings:save_settings:115 | Skill settings successfully saved to /home/pi/.config/mycroft/skills/theia-ide.andlo/settings.json
2021-12-27 15:56:56.061 | ERROR    |  4139 | mycroft.skills.skill_loader:_create_skill_instance:313 | Skill initialization failed with TypeError('can only concatenate str (not "int") to str')
Traceback (most recent call last):
  File "/home/pi/mycroft-core/mycroft/skills/skill_loader.py", line 307, in _create_skill_instance
    self.instance.initialize()
  File "/opt/mycroft/skills/theia-ide.andlo/__init__.py", line 43, in initialize
    self.install_theia()
  File "/opt/mycroft/skills/theia-ide.andlo/__init__.py", line 140, in install_theia
    self.log.info('Memmory on device is ' + mem +
TypeError: can only concatenate str (not "int") to str

-Mike M
10

I have had to littel time for microfting - but I did make a replacement skill for THEIA IDE based om OpenVSCode-server. It seems better or easier to update, as I dont have to make the precompiled packages I did need for getting Theia working on small deviceses.

Look at it on
andlo/openvscode-server-skill (github.com)

I also look into webterminal soon
, as it to are a tool I use when mycrofting :slight_smile: