dấu thời gian trước một tiếng vang

Tồn tại một cách đẹp hơn để tạo dấu thời gian ở phía trước echo?

Hiện tại tôi làm theo cách này:

#!/bin/sh

if mount | grep -q /mnt/usb; then
        echo `date +%R\ ` "usb device already mounted"
else
        echo `date +%R\ ` "mounting usb device..."
        mount -t msdosfs /dev/da0s1 /mnt/usb

        if mount | grep -q /mnt/usb; then
                echo `date +%R\ ` "usb device successfully mounted"
        fi
fi

Đầu ra sẽ trông giống như thế:

10:36 usb device already mounted

Bạn có thể bỏ qua echovà chỉ cần đặt thông báo trong datelệnh. datecho phép bạn chèn văn bản vào chuỗi định dạng ( +%Rtrong ví dụ của bạn). Ví dụ:

date +"%R usb device already mounted"

Bạn cũng có thể ném nó vào một hàm shell để thuận tiện. Ví dụ:

echo_time() {
    date +"%R $*"
}

echo_time "usb device already mounted"

Đây là một trình dọn dẹp nếu bạn sẽ sử dụng lại nhiều lần.

Đây là một cách mạnh mẽ và di động hơn (POSIX) để làm điều đó, đặc biệt là một cách cho phép %không bị xử lý như một đối số:

echo_time() {
    date +"%H:%M $(printf "%s " "$@" | sed 's/%/%%/g')"
}

Bạn có thể tạo một biến cho date +%R:

#!/bin/sh

T=$(date +%R)

if mount | grep -q /mnt/usb; then
        echo "$T usb device already mounted"
else
        echo "$T mounting usb device..."
        mount -t msdosfs /dev/da0s1 /mnt/usb

        if mount | grep -q /mnt/usb; then
                echo "$T usb device successfully mounted"
        fi
fi

Với ksh93và các phiên bản gần đây của bash:

ts_echo() {
  printf '%(%R)T: %s\n' -1 "$*"
}

Với zsh:

ts_echo() print -P %T: "$@"

Hoặc để tránh mở rộng nhanh chóng trong "$@"phần:

ts_echo() echo ${(%):-%T}: "$@"

Một cách hacky cho các phiên bản cũ hơn của bash:

ts_echo() (
  PS4="\A"
  set -x; : "$@"
)

Trên thực tế, nếu quan điểm là phải làm:

echo "<timestamp>: doing cmd args..."
cmd args...

Bạn có thể làm:

ts() (
  PS4='\A: doing '
  set -x; "$@"
)
ts cmd args...

Hoặc để tránh đổ vỏ phụ:

ts() {
  local PS4='\A: doing ' ret
  set -x; "$@"
  { ret=$?; set +x; } 2> /dev/null
  return "$ret"
}

Sau đó:

$ ts echo whatever
14:32: doing echo whatever
whatever

(lưu ý rằng những cái đó được lặp lại trên stderr, mà thực sự có thể thích hợp hơn).

Khi tôi làm những việc như thế này, tôi thường muốn tất cả các dòng (bao gồm bất kỳ đầu ra chương trình nào) được đánh dấu thời gian. Vì vậy, tôi sẽ sử dụng một cái gì đó như thế này:

#!/bin/sh

(
    if mount | grep -q /mnt/usb; then
        echo "usb device already mounted"
    else
        echo "mounting usb device..."
        mount -t msdosfs /dev/da0s1 /mnt/usb

        if mount | grep -q /mnt/usb; then
            echo "usb device successfully mounted"
        fi
    fi
) 2>&1 | perl -ne 'print "[".localtime()."] $_"'

Như Stephane chỉ ra bên dưới, các chương trình riêng lẻ có thể đệm đầu ra của chúng khi được gửi đến một đường ống. Tất nhiên, các bộ đệm này sẽ bị xóa khi chương trình thoát, vì vậy tệ nhất là các dấu thời gian sẽ hiển thị khi chương trình thoát (nếu nó đệm đầu ra của nó và không in đủ để lấp đầy bộ đệm). Tuy nhiên, echotất cả các dấu thời gian sẽ chính xác.

Là một mẫu có thể chạy được để thử nghiệm:

#!/bin/sh

(
    echo "Doing something"
    sleep 5
    echo "Doing something else..."
    ls /some/file
    sleep 8
    echo "Done."
) 2>&1 | perl -ne 'print "[".localtime()."] $_"'

Đầu ra:

[Thu Aug 29 07:32:37 2013] Doing something
[Thu Aug 29 07:32:42 2013] Doing something else...
[Thu Aug 29 07:32:42 2013] ls: cannot access /some/file: No such file or directory
[Thu Aug 29 07:32:50 2013] Done.

Tạo dấu thời gian với ts

cài đặt công cụ ts(một phần của gói moreutils):

sudo apt-get install moreutils

Thêm dấu thời gian vào đầu ra:

echo "foo" | ts

đầu ra:

Sep 03 14:51:44 foo

alias echo="d=$(date +%Y-%m-%d); echo $d "
echo hola