Release Pragma v0.1.3 · Sylviromi/pragma

See the assets below to download and install this version.

Linux: use the .deb (Debian/Ubuntu) or .AppImage (any distro, no install needed)
macOS: use the .dmg / .app for Apple Silicon
Windows: use the .msi installer

Changelog

In-app auto-update: on launch Pragma quietly checks for a newer release
(a silent 10-min poller — it only toasts and lights up a Settings → General
badge, never pops a window). On the first open of a new version it shows a
centered changelog dialog with readable notes, Install & restart and
Skip this version (persisted per-version; the Settings → General update
section stays authoritative). Backed by tauri-plugin-updater with signed
ed25519 updater artifacts generated by the release workflow.
Arch Linux (AUR): source-built package (distrib/aur/) with a proper
app-menu entry + hicolor icons, maintained with scripts/aur-update.sh.
One-command releases: scripts/release.sh <version> bumps every version
file (incl. Cargo.lock), moves the changelog, verifies nothing has drifted,
then commits + tags + pushes; the Release workflow fails loudly on any
tag/version mismatch instead of silently publishing a mislabeled release.

pragma-app npm wrapper — the package that installed a pragma launcher
CLI (npm install -g pragma-app && pragma) to download and run the latest
release. It duplicated the download page / GitHub release assets and forced a
second version to track plus an npm publish step and its token lifecycle. All
distribution now flows through the release assets and the
download page; Linux desktop integration
is provided natively by the .deb / .rpm bundles.