After an evaluation, GNOME has moved from Bugzilla to GitLab. Learn more about GitLab.
No new issues can be reported in GNOME Bugzilla anymore.
To report an issue in a GNOME project, go to GNOME GitLab.
Do not go to GNOME Gitlab for: Bluefish, Doxygen, GnuCash, GStreamer, java-gnome, LDTP, NetworkManager, Tomboy.
Bug 780272 - app: Add --version CLI option
app: Add --version CLI option
Status: RESOLVED FIXED
Product: polari
Classification: Applications
Component: general
unspecified
Other All
: Normal normal
: ---
Assigned To: Polari maintainers
Polari maintainers
Depends on:
Blocks:
 
 
Reported: 2017-03-19 17:46 UTC by Florian Müllner
Modified: 2017-04-11 00:50 UTC
See Also:
GNOME target: ---
GNOME version: ---

Attachments
app: Add --version CLI option (1.49 KB, patch)
2017-03-19 17:46 UTC, Florian Müllner 		committed Details | Review

Description Florian Müllner 2017-03-19 17:46:02 UTC 
See patch.
Comment 1 Florian Müllner 2017-03-19 17:46:27 UTC 
Created attachment 348265 [details] [review]
app: Add --version CLI option

It's sometimes convenient to check the version without running the
program to open the about dialog, so add support for the standard
--version option.
Comment 2 Florian Müllner 2017-04-11 00:50:33 UTC 
Attachment 348265 [details] pushed as 9f4d573 - app: Add --version CLI option