ประวัติทุบตีด้วยการประทับเวลา

ฉันต้องการเก็บเวลาประทับของคำสั่งที่บันทึกใน Bash $ HISTFILE ของฉันเป็นไปได้หรือไม่

ฉันไม่ได้จัดการตั้งค่าโดยใช้ man bashเป็นแหล่งข้อมูล

ตัวเลือกอื่น ๆ ของฉันมีดังนี้:

function thebanana() {
  local -r -a bash_commands=(
    "ls"
    # ... more coconut commands
  )
  for bash_command in "${bash_commands[@]}"; do
    printf "${bash_command}"
    printf ":"
  done
}
export HISTFILE=banana
export HISTIGNORE="$(thebanana)"
export HISTSIZE=999999
export HISTFILESIZE=999999999
export HISTCONTROL=ignoredups:erasedups

ฉันควรจะกล่าวถึงฉันใน OS X Mountain Lion (ถอนหายใจ) uname -aให้ฉัน:

Darwin CoconutMac.local 12.2.0 Darwin Kernel Version 12.2.0: Sat Aug 25 00:48:52 PDT 2012; root:xnu-2050.18.24~1/RELEASE_X86_64 x86_64

และecho $BASH_VERSIONให้ฉัน:

3.2.48(1)-release

พยายามเพิ่มสิ่งนี้:

export HISTTIMEFORMAT='%b %d %I:%M:%S %p '

และมันนำหน้าการประทับเวลาชนิดนี้ไปยังคำสั่งเท่านั้น:

#1349057791

ฉันลองสะท้อนกลับตัวแปร (echo $HISTTIMEFORMAT ) มันมีค่าที่เหมาะสม

! ที่น่าสนใจ

ฉันยังลบ. profile อย่างสมบูรณ์เพื่อแก้ปัญหานี้ ยังคงบันทึกเวลาตลกเท่านั้น:

#1349058320

ฉันไม่รู้วิธีแก้ไขปัญหานี้เพิ่มเติม ... :(

วิธีแก้ปัญหา : ฉันใช้สคริปต์ที่อ่าน $ HISTFILE โดยตรงไม่ใช่ประวัติในตัวดังนั้นการประทับเวลาตามยุควินาที (วินาทีตั้งแต่ Coordinated Universal Time (UTC) 1 มกราคม 1970) ไม่ได้แปลโดยใช้สตริงการจัดรูปแบบวันที่ . งานธรรมดาธรรมดาhistoryดีฉันจะใช้แทน

ใช่ใส่สิ่งนี้ใน~/.bashrc:

export HISTTIMEFORMAT='%F %T '

จากนั้นรันคำสั่งต่อไปนี้:

. ~/.bashrc
history

มันจะมีลักษณะเช่นนี้:

 (...)
 5200  2012-09-30 23:55:37 find -printf '%Ts %f\n'
 5201  2012-10-01 00:00:58 ls
 5202  2012-10-01 00:03:45 cd
 (...)

คำอธิบายของผลลัพธ์:

• col แรกนั้นไม่เหมือนใคร id
• ที่สองคือวันที่ที่สามคือชั่วโมง
• ล่าสุดคือบรรทัดคำสั่งของคุณ