[game-data-packager] 02/02: PPA: allow override of selected release

[Alexandre Detiste]

This is an automated email from the git hooks/post-receive script.

detiste-guest pushed a commit to branch master
in repository game-data-packager.

commit 9a96e99326b26b5cbe0c63a8a7affa69bcd5d970
Author: Alexandre Detiste <alexandre.detiste at gmail.com>
Date:   Sun Mar 12 20:20:29 2017 +0100

    PPA: allow override of selected release
---
 tools/ppa.py | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/tools/ppa.py b/tools/ppa.py
index 24be79e..354a7a3 100755
--- a/tools/ppa.py
+++ b/tools/ppa.py
@@ -17,6 +17,7 @@
 
 import os
 import subprocess
+import sys
 import time
 
 today = time.strftime('%Y%m%d')
@@ -38,6 +39,10 @@ with open('/usr/share/distro-info/ubuntu.csv', 'r') as data:
        version, _, release, _, date, _ = line.split(',', 5)
        if version == 'version':
           continue
+       if len(sys.argv) > 1 and sys.argv[1] == release:
+          current = release
+          lts = release
+          break
        if time.strptime(date, '%Y-%m-%d') > time.localtime():
           continue
        current = release

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-games/game-data-packager.git