1
1
mirror of https://github.com/wez/wezterm.git synced 2024-12-26 23:04:49 +03:00
wezterm/assets/flatpak/org.wezfurlong.wezterm.template.json

61 lines
2.5 KiB
JSON
Raw Normal View History

{
"app-id": "org.wezfurlong.wezterm",
"runtime": "org.freedesktop.Platform",
2023-04-18 01:39:12 +03:00
"runtime-version": "22.08",
"sdk": "org.freedesktop.Sdk",
"sdk-extensions" : [
"org.freedesktop.Sdk.Extension.rust-stable"
],
"command": "wezterm",
"finish-args": [
"--share=ipc",
"--filesystem=home:ro",
"--filesystem=xdg-config/wezterm",
"--socket=fallback-x11",
"--socket=wayland",
"--device=dri",
"--talk-name=org.freedesktop.Flatpak",
"--talk-name=org.freedesktop.Notifications",
"--share=network"
],
"modules": [
{
"name": "wezterm",
"buildsystem": "simple",
"build-options": {
"append-path" : "/usr/lib/sdk/rust-stable/bin",
"env": {
"CARGO_HOME": "/run/build/wezterm/cargo"
}
},
"build-commands": [
"cargo --offline fetch --manifest-path Cargo.toml --verbose",
"cargo --offline build --release --verbose",
"install -Dm644 ./assets/icon/terminal.png /app/share/icons/hicolor/128x128/apps/org.wezfurlong.wezterm.png",
"install -Dm644 org.wezfurlong.wezterm.appdata.xml /app/share/metainfo/org.wezfurlong.wezterm.appdata.xml",
"install -Dm644 ./assets/wezterm.desktop /app/share/applications/org.wezfurlong.wezterm.desktop",
"install -Dm755 ./target/release/wezterm -t /app/bin/",
"install -Dm755 ./target/release/wezterm-gui -t /app/bin/",
"install -Dm755 ./target/release/wezterm-mux-server -t /app/bin/",
"install -Dm755 ./target/release/strip-ansi-escapes -t /app/bin/",
"install -Dm644 assets/shell-integration/* -t /app/extra/export/share/etc/profile.d",
"install -Dm644 assets/shell-completion/zsh /app/extra/export/share/zsh/site-functions/_wezterm",
"install -Dm644 assets/shell-completion/bash /app/extra/export/share/etc/bash_completion.d/wezterm"
],
"sources": [
{
"type": "archive",
"archive-type": "tar-gzip",
"url": "@URL@",
"sha256": "@SHA256@"
},
{
"type": "file",
"path": "org.wezfurlong.wezterm.appdata.xml"
},
"generated-sources.json"
]
}
]
}