Re: combine/merge .history?

[Ray Andrews <rayandrews@xxxxxxxxxxx>]

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).