Package Details: theia-electron 1.65.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: LicenseRef-LICENSE-EPL, LicenseRef-LICENSE-GPL-2.0-ONLY-CLASSPATH-EXCEPTION, LicenseRef-LICENSE-MIT.txt, LicenseRef-LICENSE-vscode.txt
Submitter: bence.hornak
Maintainer: ccorn
Last Packager: ccorn
Votes: 19
Popularity: 0.000084
First Submitted: 2020-04-18 15:55 (UTC)
Last Updated: 2025-10-04 09:56 (UTC)

Latest Comments

1 2 3 4 5 6 Next › Last »

ccorn commented on 2025-08-11 11:46 (UTC)

Folks: I had to rebase the master branch because (surprisingly) AUR does not allow subdirectories such as LICENSES as needed for REUSE compliance (reuse lint or pkgctl license check).

If you have pulled from master earlier today and have trouble pulling again, try a git reset --hard FETCH_HEAD which should force the checkout to match AUR's new master branch.

brody commented on 2025-07-04 07:38 (UTC)

makedepends should not contain gcc, make and pkgconf because the dependency of these packages will be provided by the base-devel package.

oech3 commented on 2025-06-13 17:49 (UTC) (edited on 2025-07-28 18:28 (UTC) by oech3)

Upstream moved to electron37.

oech3 commented on 2025-05-08 12:12 (UTC)

Why make-package-json.sh instead of package{,-lock}.json from https://github.com/eclipse-theia/theia/tree/v${pkgver} ?

ccorn commented on 2025-05-07 12:36 (UTC)

@oech3: Oh, another issue to watch. Thanks for that.

The package name theia-electron refers to the electron build (as opposed to the browser build) of Theia. At least that is how I understand it.

As long as Theia remains conservative in their electron version upgrades, I consider it best to keep Theia's bundled electron version.

However, if Theia begins to closely follow electron updates, then we can consider replacing the bundled electron.

oech3 commented on 2025-05-07 12:01 (UTC)

So this package has invalid name until https://github.com/eclipse-theia/theia/issues/15059 is solved?

ccorn commented on 2025-05-07 11:51 (UTC)

@oech3: ripgrep hack incorporated.

Regarding electron: Theia seems to be quite sensitive about electron versions. Upstream's current favorite seems to be electron30, but Arch has already left that behind (relegated to AUR, that is). In any case, that kind of hack would require constant maintenance, so I am reluctant to even try that.