12 lines
495 B
Diff
12 lines
495 B
Diff
|
--- a/bin/ki
|
||
|
|
+++ b/bin/ki
|
||
|
|
@@ -1,6 +1,8 @@
|
||
|
|
import re
|
||
|
|
import sys
|
||
|
|
from ki import ki
|
||
|
|
+import ki.maybes as M; M.empty_kirepo = lambda root: (M.F.mksubdir(root, M.Path(M.KI)), M.F.mksubdir(M.EmptyDir(root), M.Path(M.MEDIA)))
|
||
|
|
+import pathlib as P; PTD = P.Path.__truediv__; P.Path.__truediv__ = lambda a, b: P.Path('/dev/null') if '.gitattributes' in str(PTD(a, b)) else PTD(a, b)
|
||
|
|
if __name__ == "__main__":
|
||
|
|
sys.argv[0] = re.sub(r"(-script\.pyw|\.exe)?$", "", sys.argv[0])
|
||
|
|
sys.exit(ki())
|