Zsh Mailing List Archive
Messages sorted by: Reverse Date, Date, Thread, Author

Re: combine/merge .history?



On 10/13/2014 10:59 AM, Bart Schaefer wrote:

Bart:

This example ...

}   1074* c Boot
}   1075* e zshrc
}   1076* A
}   1077* man pv

... doesn't look like anything zsh ever saved; those would appear to
just be line numbers.  When not using EXTENDED_HISTORY et al., zsh
saves the commands without any leading prefix.

But:

pts/2 HP-y5--5-Debian1 root / $ history
 1086* W
 1087* l ,m
 1088* hdparm -C /dev/sda
 1089* cat .histfile
 1091  i history
 1092  c
 1093  g ,r "gedit /aWorking"
 1095* l launcher-25
 1096* l launcher-29
 1098* cat launcher-25/13913154231.desktop
 1099* cat launcher-29/13313195471.desktop
 1100* cat launcher-29/13916352102.desktop
 1101  meld launcher-25/13913154231.desktop launcher-29/13916352102.desktop
 1102* c .
1103* xfce4-panel --add=launcher /root/.config/xfce4/panel/launcher-25/13913154231.desktop
 1105  /

... so that seems to be plain vanilla history output, no? EXTENDEDHISTORY is being used (I think, I hope).



Messages sorted by: Reverse Date, Date, Thread, Author