2020-07-23 18:40:12 +02:00
|
|
|
#!/usr/bin/env python3
|
|
|
|
|
|
|
|
|
|
import os
|
|
|
|
|
import shutil
|
|
|
|
|
import sys
|
|
|
|
|
|
2022-08-10 18:06:24 +02:00
|
|
|
destdir = os.environ.get('DESTDIR', os.sep)
|
|
|
|
|
|
2020-07-23 18:40:12 +02:00
|
|
|
for desc in sys.argv[1:]:
|
|
|
|
|
inst = desc.split(':')
|
2022-08-10 18:06:24 +02:00
|
|
|
src = inst[0]
|
|
|
|
|
dst = os.path.join(destdir, inst[1].strip(os.sep))
|
|
|
|
|
os.makedirs(dst, exist_ok=True)
|
|
|
|
|
shutil.copy(src, dst)
|