- TARGET_DISTNAMES = {
- 'debian7': 'wheezy',
- 'debian8': 'jessie',
- 'ubuntu1204': 'precise',
- 'ubuntu1404': 'trusty',
- 'ubuntu1604': 'xenial',
- }
+
+ def __init__(self, glob_root, rel_globs, target, ssh_host, ssh_opts, repo):
+ super().__init__(glob_root, rel_globs, target, ssh_host, ssh_opts)
+ self.TARGET_DISTNAMES = {
+ 'debian8': 'jessie-'+repo,
+ 'debian9': 'stretch-'+repo,
+ 'debian10': 'buster-'+repo,
+ 'ubuntu1404': 'trusty-'+repo,
+ 'ubuntu1604': 'xenial-'+repo,
+ 'ubuntu1804': 'bionic-'+repo,
+ }