[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
```
- `history -r` can not read from /dev/stdin ?,
Techlive Zheng <=