search

zao111222333 / spinalhdl-online

24 stars 5 forks source link

Is that possible to base on SpinalHDL/docker ? #5

Open Readon opened 1 year ago

Readon commented 1 year ago

The SpinalHDL/docker now contains all elaboration and formal verification tools. If this project can base on that with Gtk online support then a lot of man power can be saved.

Readon commented 1 year ago

Also, that image is release on Github's docker mirror which is free for open source project with unlimited downloads.

zao111222333 commented 1 year ago

Good idea, it seems that https://github.com/SpinalHDL/docker can keep SpinalHDL and other tools in latest version, I will try to build code-server/nginx/Gtk base on that image.

Readon commented 1 year ago

do you have any good solution for git gui? I mean with web view. I have tested the git-graph extension before. however, it fails and could not be fixed.

zao111222333 commented 1 year ago

do you have any good solution for git gui? I mean with web view. I have tested the git-graph extension before. however, it fails and could not be fixed.

eamodio.gitlens works well on my situation, you can have a try.

By the way, since there is no SpinalHDL in my normal work, I will work on above tasks this weekend or later.

zao111222333 commented 1 year ago

There is always existing an issue for broadwayd (html back-end of gtk) with docker, making it not decent for official image to use gtk-online. I will keep following this issue.

See more here: https://gitlab.gnome.org/GNOME/gtk/-/issues/6058