* Added some useful functions from my pw2g_bench_MnO.py scriptlet collection:

- wpylib.math.roundup()
  - wpylib.shell_tools.dirname2()

* file_exists_nonempty() is moved to wpylib.shell_tools.
This commit is contained in:
Wirawan Purwanto
2012-07-25 09:40:37 -04:00
parent 96cec22fca
commit 17d242213d
3 changed files with 19 additions and 4 deletions

View File

@@ -26,6 +26,18 @@ def mcd(subdir):
mkdir("-p", subdir)
os.chdir(subdir)
def dirname2(path):
"""Returns the directory part of a path.
The difference from os.path.dirname is that if the directory
part is empty, it is converted to '.' (the current directory)."""
d = os.path.dirname(path)
if d == '': d = '.'
return d
def file_exists_nonempty(path):
"""Determines whether a given path is a regular file of
nonzero size."""
return os.path.isfile(path) and os.stat(path).st_size > 0
def provide_link(dest, src):
"""Checks if file `dest' exists. If it does not, provide for it by means