kopia lustrzana https://github.com/micropython/micropython-lib
84 wiersze
1.2 KiB
Python
84 wiersze
1.2 KiB
Python
import os
|
|
|
|
|
|
sep = "/"
|
|
|
|
|
|
def normcase(s):
|
|
return s
|
|
|
|
|
|
def normpath(s):
|
|
return s
|
|
|
|
|
|
def abspath(s):
|
|
if s[0] != "/":
|
|
return os.getcwd() + "/" + s
|
|
return s
|
|
|
|
|
|
def join(*args):
|
|
# TODO: this is non-compliant
|
|
if type(args[0]) is bytes:
|
|
return b"/".join(args)
|
|
else:
|
|
return "/".join(args)
|
|
|
|
|
|
def split(path):
|
|
if path == "":
|
|
return ("", "")
|
|
r = path.rsplit("/", 1)
|
|
if len(r) == 1:
|
|
return ("", path)
|
|
head = r[0] # .rstrip("/")
|
|
if not head:
|
|
head = "/"
|
|
return (head, r[1])
|
|
|
|
|
|
def dirname(path):
|
|
return split(path)[0]
|
|
|
|
|
|
def basename(path):
|
|
return split(path)[1]
|
|
|
|
|
|
def exists(path):
|
|
try:
|
|
os.stat(path)
|
|
return True
|
|
except OSError:
|
|
return False
|
|
|
|
|
|
# TODO
|
|
lexists = exists
|
|
|
|
|
|
def isdir(path):
|
|
try:
|
|
mode = os.stat(path)[0]
|
|
return mode & 0o040000
|
|
except OSError:
|
|
return False
|
|
|
|
|
|
def isfile(path):
|
|
try:
|
|
return bool(os.stat(path)[0] & 0x8000)
|
|
except OSError:
|
|
return False
|
|
|
|
|
|
def expanduser(s):
|
|
if s == "~" or s.startswith("~/"):
|
|
h = os.getenv("HOME")
|
|
return h + s[1:]
|
|
if s[0] == "~":
|
|
# Sorry folks, follow conventions
|
|
return "/home/" + s[1:]
|
|
return s
|