blob: 086d465ae454a1f2665eab58179f512dd0cfb4f8 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
#!/usr/bin/env python3
import os
import shutil
import sys
destdir = os.environ.get('DESTDIR', os.sep)
for desc in sys.argv[1:]:
inst = desc.split(':')
src = inst[0]
dst = os.path.join(destdir, inst[1].strip(os.sep))
os.makedirs(dst, exist_ok=True)
shutil.copy(src, dst)
|
