Package Details: theia-electron 1.56.0-1

Git Clone URL: https://aur.archlinux.org/theia-electron.git (read-only, click to copy)
Package Base: theia-electron
Description: Cloud & Desktop IDE Platform
Upstream URL: https://www.theia-ide.org/
Keywords: eclipse electron ide theia
Licenses: EPL2
Submitter: bence.hornak
Maintainer: ccorn
Last Packager: ccorn
Votes: 19
Popularity: 0.028944
First Submitted: 2020-04-18 15:55 (UTC)
Last Updated: 2024-12-16 02:14 (UTC)

Latest Comments

« First ‹ Previous 1 2 3 4 5 Next › Last »

sainnhe commented on 2020-10-24 23:10 (UTC)

The upstream has released a deb package built by CI, is anyone interested in creating a theia-electron-bin package? https://github.com/eclipse-theia/theia/issues/5481#issuecomment-709526924

ccorn commented on 2020-10-12 06:18 (UTC)

The symlink can also be dereferenced with cps -H option. Thus you do not need to specify an install command with strange (executable) permission flags:

--- a/PKGBUILD
+++ b/PKGBUILD
@@ -46,15 +46,12 @@ package() {
   # Create directory
   install -dm 755 "$pkgdir"/usr/lib/$pkgname

-  # Source code (symlinks are not dereferenced) and plugins
-  cp -r --no-preserve=ownership --preserve=mode \
-      src-gen lib node_modules \
+  # Source code (command-line symlinks dereferenced) and plugins
+  cp -RH --no-preserve=ownership --preserve=mode \
+      src-gen lib node_modules package.json \
       plugins \
       "$pkgdir/usr/lib/$pkgname/"

-  # package.json
-  install -Dm755 package.json "$pkgdir/usr/lib/$pkgname/"
-
   # Executable
   install -Dm755 theia-electron.sh "$pkgdir/usr/bin/$pkgname"
   # Desktop file

bence.hornak commented on 2020-10-03 09:12 (UTC)

Hi @Leon0402, You are right on the StartupWMClass, I changed it to electron. The failing build issue should also be eliminated, see https://gitlab.com/bencehornak/arch-theia-electron/-/issues/1.

Leon0402 commented on 2020-10-01 15:20 (UTC)

Hi, thanks for the package!

The theia-electron.desktop file is not quite correct or at least not matching the application. xprop showed that StartupWMClass should be electron rather than theia. Otherwise the window will not map correctly and it will use a fallback icon and not work properly with the task manager. I believe though, that actually the fix should rather be done somehwere else, so the WM Class is theia. But I don't know where this should be done.

Furthermore, the package doesn't work out of the box with the aur helper pikaur. The package seems to build on the fact that cache is preservered during build. Therfore: pikaur -S theia-electron --keepbuild was necessary

bence.hornak commented on 2020-08-06 08:47 (UTC)

Okay, I updated the PKGBUILD

mradermaxlol commented on 2020-08-05 17:52 (UTC) (edited on 2020-08-05 17:52 (UTC) by mradermaxlol)

theia supports newer nodejs versions since 1.4.0, so the PKGBUILD should probably be updated: https://github.com/eclipse-theia/theia/pull/7968

bence.hornak commented on 2020-06-27 18:50 (UTC)

Thanks, fixed

lifestronaut commented on 2020-06-27 18:42 (UTC)

The LICENSE file is failing the validity check.

bence.hornak commented on 2020-06-03 12:33 (UTC)

Theia supports <12 node versions only, unfortunately.

pioneer commented on 2020-06-03 12:25 (UTC)

I don't want to uninstall the official nodejs, as this package requires. Is there any reason for nodejs-lts-dubnium?