【发布时间】:2017-06-06 17:51:30
【问题描述】:
我在尝试使用 Time 从命令中获取 PID 时遇到问题。 我使用的命令是:
{ time cp ubuntu/ubuntu-16.04.2-desktop-amd64.iso
ubuntucopia/$i-ubuntu-16.04.2-desktop-amd64.iso; }
2>> "logs/time.log" &
如果我现在使用$!,我会从 TIME 获得 PID。如何获取命令cp 的pid?目前为了解决这个问题,我正在使用这个:
father=$!
cpPid=$(pgrep -P $father)
有了这个,我并不总是得到 pid,有时 $cpPid 是空的。
谢谢!
【问题讨论】:
-
time是一个 shell 内置命令,它不能有 PID。