diff -r 293f3b9a8201 -r fd00606ce958 install.py
--- a/install.py Thu Nov 01 18:49:18 2012 +0100
+++ b/install.py Fri Nov 02 13:13:33 2012 +0100
@@ -391,17 +391,18 @@
exit(7)
-def shutilCopy(src, dst):
+def shutilCopy(src, dst, perm=0o644):
"""
Wrapper function around shutil.copy() to ensure the permissions.
@param src source file name (string)
@param dst destination file name or directory name (string)
+ @keyparam perm permissions to be set (integer)
"""
shutil.copy(src, dst)
if os.path.isdir(dst):
dst = os.path.join(dst, os.path.basename(src))
- os.chmod(dst, 0o644)
+ os.chmod(dst, perm)
def installEric():
@@ -488,7 +489,7 @@
# copy the wrappers
for wname in wnames:
- shutilCopy(wname, cfg['bindir'])
+ shutilCopy(wname, cfg['bindir'], perm=0o755)
os.remove(wname)
# copy the license file
