diff --git a/bin/is b/bin/is index 232afa31148cc34e796a2c1631fd2bb5be536570..2ef02e99299c49521a87544f977f9f7823af83f7 100755 --- a/bin/is +++ b/bin/is @@ -65,7 +65,7 @@ def select_image(name, repoman): if istools.isfile(name) and os.path.isfile(name): return PackageImage(name), None else: - (repo, image, version) = re.match("((\w+)/)?(\w+)(:(\d+))?", name).group(2,3,5) + (repo, image, version) = re.match("((\w+)/)?(\w+)(:v?(\d+))?", name).group(2,3,5) if repo is None: return repoman.get(image, version) else: