almalinux/pungi
14
1
Fork 0
Code Issues Pull Requests Releases Activity

Get the right mediaid from the discinfo file

Browse Source
This commit is contained in:
jkeating@harpoon.lab.boston.redhat.com 2006-11-01 17:48:59 -05:00 committed by Jesse Keating
parent 813394c5d0
commit 0639fcf7c7
1 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
pungi.py
View File

@ -42,8 +42,10 @@ class Pungi:
os.system('./tests/splittree.py %s' % args) # use a patched splittree until patches go upstream
def doCreateSplitrepo(self):
discinfo = open('%s-disc1/.discinfo' % self.topdir, 'r').read()
mediaid = discinfo[0].rstrip('\n')
args = '-g %s --baseurl=media://%s --outputdir=%s-disc1 --basedir=%s-disc1 --split %s-disc?' %
(self.opts.comps, self.prodpath, self.topdir, self.topdir, self.topdir)
(self.opts.comps, mediaid, self.topdir, self.topdir, self.topdir)
os.system('/usr/bin/createrepo %s' % args)
def main():