Khi vô tình dán một tập tin vào vỏ, nó đặt một tấn các mục vô nghĩa xấu xí trong lịch sử bash. Có một cách sạch sẽ để loại bỏ những mục? Rõ ràng tôi có thể đóng shell và chỉnh sửa .bash_history
tệp theo cách thủ công nhưng có thể có một số loại API có sẵn để sửa đổi lịch sử của shell hiện tại?
tot_lines=$(history | wc -l)
và sau đó lặp lạihistory -d $(( tot_lines - $1 ))
.