Blame demo/install-file.py
|
Packit Service |
b2c451 |
#!/usr/bin/env python3
|
|
Packit Service |
b2c451 |
|
|
Packit Service |
b2c451 |
# A simple script that copies a given file (first arg) to a given location
|
|
Packit Service |
b2c451 |
# (second arg).
|
|
Packit Service |
b2c451 |
|
|
Packit Service |
b2c451 |
import sys
|
|
Packit Service |
b2c451 |
import os
|
|
Packit Service |
b2c451 |
from shutil import copy
|
|
Packit Service |
b2c451 |
|
|
Packit Service |
b2c451 |
if len(sys.argv) < 3:
|
|
Packit Service |
b2c451 |
print('Usage: ' + sys.argv[0] + ' SOURCE_FILE DESTINATION_DIR')
|
|
Packit Service |
b2c451 |
|
|
Packit Service |
b2c451 |
sys.exit(-1)
|
|
Packit Service |
b2c451 |
|
|
Packit Service |
b2c451 |
try:
|
|
Packit Service |
b2c451 |
dest_dir = os.environ['DESTDIR'] + '/' + sys.argv[2]
|
|
Packit Service |
b2c451 |
except KeyError:
|
|
Packit Service |
b2c451 |
dest_dir = sys.argv[2]
|
|
Packit Service |
b2c451 |
|
|
Packit Service |
b2c451 |
try:
|
|
Packit Service |
b2c451 |
if not os.path.exists(dest_dir):
|
|
Packit Service |
b2c451 |
os.makedirs(dest_dir)
|
|
Packit Service |
b2c451 |
except OSError:
|
|
Packit Service |
b2c451 |
print ('Error: Creating directory. ' + dest_dir)
|
|
Packit Service |
b2c451 |
|
|
Packit Service |
b2c451 |
copy(sys.argv[1], dest_dir)
|