Pragma v0.1.3

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

[0.1.3] - 2026-08-16

Added

• 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.

Removed

• 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.

Full changelog: https://github.com/Sylviromi/pragma/blob/main/CHANGELOG.md

Pragma v0.1.1

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 your architecture (Apple Silicon or Intel)
• Windows: use the .msi installer

Changelog

[0.1.1] - 2026-08-15

Fixed

• GNOME (Wayland): the window could not be moved or fullscreened. The
  GTK title bar was being removed on every Wayland session, but GNOME draws
  its own client-side decorations — the decorations are now hidden only on
  compositors that provide their own frame (Hyprland, Sway, …), so GNOME
  keeps the title bar with its move / maximize / fullscreen controls.

Full changelog: https://github.com/Sylviromi/pragma/blob/main/CHANGELOG.md

Pragma v0.1.0

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 your architecture (Apple Silicon or Intel)
• Windows: use the .msi installer

Changelog

See CHANGELOG.md for this release.