[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

`history -r` can not read from /dev/stdin ?

From: Techlive Zheng
Subject: `history -r` can not read from /dev/stdin ?
Date: Thu, 16 Aug 2012 21:17:51 +0800

I was trying to reload the bash history file which changed by another
bash session with the following commands, but it wouldn't work, please
help me, why?

new_history=$(history -a /dev/stdout)
history -c
history -r
echo "$new_history" | history -r /dev/stdin

reply via email to

[Prev in Thread] Current Thread [Next in Thread]