query: What is the difference between time and /usr/bin/time?
positive_passages.docid: 25207
positive_passages.text: Why doesn't the `time` command work with any option?
negative_passages.docid: 104292
negative_passages.text: What does '>/dev/null 2>&1' mean in this article of crontab basics?
negative_passages.docid: 72208
negative_passages.text: Log any command similar to `time`
negative_passages.docid: 89229
negative_passages.text: How do I set the creation time of a file?
negative_passages.docid: 91585
negative_passages.text: How to store a substring of the output of "time" function in bash script
negative_passages.docid: 116983
negative_passages.text: ISO time (ISO 8601) in Python
negative_passages.docid: 151639
negative_passages.text: Amending PATH so that /usr/local/bin is ahead of /usr/bin
negative_passages.docid: 22609
negative_passages.text: What is the difference between "source x", ". x" and "./x" in Bash?
negative_passages.docid: 7225
negative_passages.text: Linux system-time differs from RTC time
negative_passages.docid: 49365
negative_passages.text: timestamp, modification time, and created time of a file
negative_passages.docid: 142486
negative_passages.text: What is the difference if I start bash with "/bin/bash" or "/usr/bin/env bash"?
negative_passages.docid: 8906
negative_passages.text: What is /usr/bin/[ and how do I use it?
negative_passages.docid: 16037
negative_passages.text: Why do the directories /home, /usr, /var, etc. all have the same inode number (2)?
negative_passages.docid: 152055
negative_passages.text: Difference between now() and current_timestamp
negative_passages.docid: 9407
negative_passages.text: Different compilation times with different Operating Systems
negative_passages.docid: 129350
negative_passages.text: What is the meaning of ${GZIP_BINDIR-'/bin'} in bash?
negative_passages.docid: 63653
negative_passages.text: Sending `time` command into text file