gnome-shell/subprojects/extensions-app/js/gnome-extensions-app.in
Florian Müllner 7b75e9f5ed extensions-app: Rename executable
We kept the old binary name when overhauling the tool for the Extensions
app to avoid unnecessary churn for packagers/distributors.

However we now have a reason to "free" the old name, so rename the binary
to match the (sub)project name.

https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1220
2020-04-30 00:57:27 +02:00

3 lines
43 B
Bash

#!/bin/sh
@gjs@ @pkgdatadir@/@app_id@ "$@"