> Have you looked into distrobox? No. It looks a bit heavy for what I think is an ideal solution. The way this one works with Jetbrains Gateway is what reall

> Have you looked into distrobox? No. It looks a bit heavy for what I think is an ideal solution. The way this one works with Jetbrains Gateway is what really piqued my interest.