Add history file read/write to bash

Close #21.
This commit is contained in:
Roman Mueller 2018-09-13 18:49:09 +02:00 committed by Andrea Cardaci
parent b10791a840
commit 9bac306503

View File

@ -40,11 +40,24 @@ functions:
- code: | - code: |
export LFILE=file_to_write export LFILE=file_to_write
bash -c 'echo DATA > $LFILE' bash -c 'echo DATA > $LFILE'
- description: This adds timestamps to the output file.
code: |
LFILE=file_to_write
HISTIGNORE='history *'
history -c
DATA
history -w $LFILE
file-read: file-read:
- description: It trims trailing newlines and it's not binary-safe. - description: It trims trailing newlines and it's not binary-safe.
code: | code: |
export LFILE=file_to_read export LFILE=file_to_read
bash -c 'echo "$(<$LFILE)"' bash -c 'echo "$(<$LFILE)"'
- description: The read file content is surrounded by the current history content.
code: |
LFILE=file_to_read
HISTTIMEFORMAT=$'\r\e[K'
history -r $LFILE
history
suid-enabled: suid-enabled:
- code: "./bash -p" - code: "./bash -p"
sudo-enabled: sudo-enabled: