directory - OCaml 相当于 "mkdir -p"是什么？-6ren

directory - OCaml 相当于 "mkdir -p"是什么？

转载作者：行者123 更新时间：2023-12-04 01:52:33

26

4

什么是 OCaml 等效于 mkdir -p ?

也就是说，创建该目录和所有缺少的父目录，如果该目录已经存在，则不会失败。

例如，Python 3 有 os.makedirs(..., exist_ok=True) .

OCaml 中有这样的功能吗？

最佳答案

Janestreet core.unix 提供 Core.Unix.mkdir_p -p mkdir 的。

所以没有严格等同于 python os.makedirs需要一个额外的标志，但这个可以完成工作。

关于directory - OCaml 相当于 "mkdir -p"是什么？，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/52317256/

26

4

0

文章推荐： Jenkins :让一个工作等待另一个工作正在运行

文章推荐： file - 无法访问 bundle 资源/文件 (OSGi)

文章推荐： gist - Github Gists 和 Pastebin 有什么区别？

Java mkdir + mkdirs 总是返回 false
我正在尝试在 Java 中创建一个新目录，但它不起作用。我想知道为什么，因为我首先尝试了 mkdir() ，然后尝试了 mkdirs() ，它应该创建不存在的目录。我写道: boolean stat
unix - mkdir 和 mkdir -p 有什么区别
我尝试使用 mkdir 在本地 git 存储库中创建文件夹。它没有用，但是mkdir -p 有效。为什么？顺便说一句，我正在使用 Mac 操作系统。我检查了 mkdir -p 的定义。但是我还是不
powershell - mkdir 和 mkdir -p 之间的区别？
我一直在关注 Learn Code the Hard Way 的教程，了解如何在 PowerShell 中使用命令行界面。在 this文章中，它告诉我使用命令 mkdir -p i\like\icec
java - 不使用 mkdir() 或 mkdirs() 创建的目录
下面是我的 MainActivity.java 代码。根据 toasts 的错误是在创建目录时。主 Activity .java @Override protected void onActivit
android - File.mkdir() 和 mkdirs() 正在创建文件而不是目录
我使用以下代码: final File newFile = new File("/mnt/sdcard/test/"); newFile.mkdir(); // if I use mkdirs() r
Android:外部存储上的 mkdirs()/mkdir() 返回 false
我被这个逼疯了: Log.d("STATE", Environment.getExternalStorageState()); File f = new File(Environment.getExt
c++ - 为什么使用 mkdir() 函数比使用系统 ('mkdir path' 快得多)？
我正在创建一个应用程序，我需要创建多个文件夹，而且创建文件夹是一步到位的。要做最优化，然后我意识到 mkdir() 比 system('mkdir path') 快得多；有谁知道原因吗？最佳答案
linux - "mkdir || echo && exit"即使 mkdir 成功退出
mkdir $2 || echo "I can't create directory $2" && exit 8 大家好，这是我在这里的第一篇文章，请多多关照。我现在正在制作一个脚本，这一行让我很困
php - 警告 (2) : mkdir() [function. mkdir]: 没有那个文件或目录
您好，我最近遇到了这个问题，但能够解决它。实际上路径中的拼写错误。我想知道如何正确处理这些错误。也就是说，如果 mkdir 失败，我的程序应该继续执行并且应该安全地返回 false。这是我的代码 tr
linux - os.Mkdir 和 os.Mkdir 所有权限
我正在尝试在我的程序开始时创建一个日志文件。如果 /log 目录没有创建目录，我需要检查它是否存在，然后继续创建日志文件。好吧，我尝试使用 os.Mkdir(以及 os.MkdirAll)，但无论
android - mkdir() 或 mkdirs() 不适用于 Android API 26
以下代码可与其他 API 一起使用，但 26 public static boolean cretaeDir() { String dir = Environment.getExternalS
php - 警告 : mkdir() [function. mkdir] : No such file or directory PHP?
尝试在 PHP 中使用 mkdir() 函数时出现此错误。基本上，我是在我的服务器上创建一个基于 input field 的 HTML 表单中名为 (inPut) 的 sundomain。现在我正
java - File.mkdir 或 mkdirs 返回 false - 原因？
为什么 file.mkdir 返回 false？ Google 指出可能有多种原因(例如安全性、权限、路径名等)。我的问题: 如何找到返回false的确切原因？如果安全/权限是一个原因，那么为什么
python - 使用 os.mkdir 与 os.system ("mkdir"的好处)
我找不到答案的简单问题: 使用 os.mkdir("somedir") 比 os.system("mkdir somedir") 或 subprocess.call() 有好处吗，超越代码可移植性？
Android 4.4.2 File.mkdir() 和 mkdirs() 正在创建文件而不是目录
这个问题与this question无关.我已经看到它了，但它是特定的 Android 4.4.2 问题，因为该代码在其他版本的 Android 上运行良好。 final File path = ne
go - os.Mkdir 与 syscall.Mkdir，在 Golang 中有什么区别？
os.Mkdir 和 syscall.Mkdir 在 Golang 中有相同的 API 系统调用.Mkdir: func Mkdir(path string, mode uint32) (err er
java - java.io.File 中 mkdir() 和 mkdirs() 的区别
已结束。此问题不符合 Stack Overflow guidelines .它目前不接受答案。要求代码的问题必须表明对正在解决的问题的最低理解。包括尝试的解决方案、它们为什么不起作用以及预期结果。另
python - 什么时候应该使用 pathlib.Path.mkdir() 与 os.mkdir() 或 os.makedirs()？
这个问题在这里已经有了答案: What is different between makedirs and mkdir of os? (3 个答案) 关闭 9 个月前。根据 python 3.6
python - 为什么 python 中的 os.mkdir 设置权限的方式与 bash 中的 mkdir 之一不同？
我通过 bash 中的 mkdir 和 python 中的 os.mkdir 使用文件模式创建了目录。他们制作了具有不同权限的目录。我在命令行中的测试代码如下， $ mkdir -m 0775 aa
linux - mkdir : missing operand - ssh -tt ${REMOTE_SERVER} sudo sh -c "mkdir -p/opt/migration"
给定: MIGRATION_FOLDER=/opt/migration 要么这样: ssh -tt ${REMOTE_SERVER} sudo sh -c "mkdir -p /opt/migrati

首页

博学

6Ren·AI

商城

directory - OCaml 相当于 "mkdir -p"是什么？