【发布时间】:2013-12-15 04:42:14
【问题描述】:
我正在尝试在运行 Fedora 19 64 位的虚拟机上为文件运行 time 命令,我收到消息“/usr/bin/time: No such file or directory”。我尝试使用谷歌搜索,但它似乎是我应该已经拥有的东西。如何在我的计算机上获取此信息?
【问题讨论】:
-
如果某个答案解决了您的问题,请确保将其标记为已接受的答案 :-)
我正在尝试在运行 Fedora 19 64 位的虚拟机上为文件运行 time 命令,我收到消息“/usr/bin/time: No such file or directory”。我尝试使用谷歌搜索,但它似乎是我应该已经拥有的东西。如何在我的计算机上获取此信息?
【问题讨论】:
对于那些使用 raspberry pi 或类似基于 debian 的发行版的用户,我发现我可以安装包 time (sudo apt install time) 以获得对 time 命令的访问权限。
编辑:对于基于 Fedora 的系统,软件包名称可能不同。试试dnf search time,然后是sudo dnf install {package_name}。我没有一台 Fedora 机器可以立即获取确切的包名称。
【讨论】:
sudo apt-get update 后才能安装 time
bash/zsh/modern shell 通常将基本的time 命令实现为内置命令。所以它不会存在于文件系统中,但time mycommand 应该可以工作。
如果您想要“正确的”时间命令(带有更多选项,例如:-l/-v),那么您需要通过 apt/yum/etc 安装它。您需要以/usr/bin/time mycommand 运行它,这样shell-builtin 就不会被调用。
【讨论】:
它可能在其他位置。我先输入:
which time
这个命令会给你时间的路径,如果它在你的路径中的任何地方。
如果需要自己构建,可以在这里获取源码:
【讨论】:
/usr/bin/time一样吗?引用 this answer to one of my questions,至少在基于 Debian 的发行版中,/usr/bin/time 与环境 PATH 中可用的 time 并不完全相同...