TheiaIDE 1.65.100

IDE framework

Installation

System wide:

{
  environment.systemPackages = with nix-casks.packages.${system}; [
    theiaide # TheiaIDE
  ];
}

Home Manager:

{
  home.packages = with nix-casks.packages.${system}; [
    theiaide # TheiaIDE
  ];
}

Package Definition

{
  "pname": "theiaide",
  "version": "1.65.100",
  "src": {
    "url": "https://download.eclipse.org/theia/ide/1.65.100/macos-arm/TheiaIDE.dmg",
    "sha256": "777c15de3ca94229186a0367b05ad5a44e39cadd60abb7af63b0747ebdacc2bf"
  },
  "installPhase": [
    "mkdir -p \"$out/Applications/TheiaIDE.app\" && cp -r \"TheiaIDE.app\" \"$out/Applications\""
  ],
  "meta": {
    "description": "IDE framework",
    "homepage": "https://theia-ide.org/"
  }
}