Damien George
269c9a08b6
unix/modos: Add uos.rename and uos.rmdir.
...
The existing uos.remove cannot be used to remove directories, instead
uos.rmdir is needed. And also provide uos.rename to get a good set of
filesystem functionality without requiring additional Python-level os
functions (eg using ffi).
2019-12-28 11:54:49 +11:00
..
2019-09-26 16:04:56 +10:00
2017-09-06 13:40:51 +10:00
2019-08-16 00:08:08 +10:00
2017-09-06 13:40:51 +10:00
2019-10-01 12:26:22 +10:00
2017-09-06 13:40:51 +10:00
2017-09-06 13:40:51 +10:00
2019-12-27 22:51:17 +11:00
2019-05-01 15:06:21 +10:00
2017-09-06 13:40:51 +10:00
2017-09-06 13:40:51 +10:00
2019-08-30 16:44:12 +10:00
2019-11-11 11:37:38 +11:00
2019-10-15 21:35:27 +11:00
2019-10-21 23:01:41 +11:00
2019-05-17 18:04:15 +10:00
2019-02-12 14:54:51 +11:00
2019-05-17 18:04:15 +10:00
2019-12-28 11:54:49 +11:00
2019-11-21 12:10:32 +11:00
2019-12-28 11:11:54 +11:00
2019-10-30 12:08:58 +11:00
2019-02-12 14:54:51 +11:00
2019-05-28 17:22:54 +10:00
2019-11-11 11:37:38 +11:00
2019-10-21 23:21:18 +11:00
2017-09-06 13:40:51 +10:00
2018-10-22 22:49:05 +11:00
2017-09-06 13:40:51 +10:00
2019-11-11 11:37:38 +11:00
2019-06-05 15:28:30 +10:00
2019-10-29 22:22:37 +11:00
2019-03-27 10:50:01 +11:00
2019-01-27 12:38:23 +11:00
2017-09-06 13:40:51 +10:00
2019-07-09 13:05:59 +10:00