[HOWTO] Ghi lại toàn bộ nội dung Gnome-terminal vào log file.

Mở hoặc tạo mới file ~/.bashrc và chèn thêm các dòng sau:

if [ -z "$UNDER_SCRIPT" ]; then

logdir=$HOME/terminal-logs
if [ ! -d $logdir ]; then
mkdir $logdir
fi
gzip -q $logdir/*.log
logfile=$logdir/$(date +%F_%T).$$.log
export UNDER_SCRIPT=$logfile
script -f -q $logfile
exit
fi

REVIEW:

File .bashrc ở thư mục home của người dùng chứa các lệnh sẽ được thực hiện mỗi khi người dùng đăng nhập vào hệ thống (cũng như mở terminal, trong trường hợp này). Khi chèn thêm các câu lệnh trên vào ~/.bashrc, mỗi khi người dùng mở gnome-terminal, chúng sẽ được thực hiện. Đoạn mã trên sẽ kiểm tra xem có thư mục nào tên là terminal-logs không. Nếu chưa có, tạo thư mục đó. Sau đó ghi lại nội dung session gnome-terminal vào file có đuôi là .log và tên là ngày giờ hiện thời, đặt trong thư mục terminal-logs.

Nguyên tắc của đoạn script trên là sử dụng lệnh script để ghi lại nội dung các lệnh đã chạy, kết hợp với lệnh date để lấy thời gian hiện thời làm tên file log. Ngoài ra, dùng export để xuất 1 biến môi trường là UNDER_SCRIPT, nhằm kiểm tra xem session hiện thời đã được ghi lại hay chưa.