Nie można odczytać znacznik czasu historii zsh

Question

Problem: zrozumieć następujący znacznik czasu

1241036430 

w ~/.history

: 1241036336:0;vim ~/.zshrc 
: 1241036379:0;vim ~/bin/HideTopBar 
: 1241036421:0;ls 
: 1241036430:0;cat ~/.history 

kiedy mam

setopt EXTENDED_HISTORY 
HISTFILE=~/.history 

w .zshrc.

Jak można odczytać znacznik czasu?

Answer 1

Ten prosty util, zwany localtime jest złota do czytania plików znaczników czasu:

#!/usr/bin/perl 
# http://perl.plover.com/classes/mybin/samples/source/localtime 

if ($ARGV[0] eq '-f') { 
    *show_localtime = \&show_localtime_list; 
    shift; 
} 

if (@ARGV) { 
    for (@ARGV) { 
    print show_localtime($_), "\n"; 
    } 
} else { 
    while (<>) { 
    s/^(\d+)/show_localtime($1)/e; 
    print; 
    } 
} 


sub show_localtime { 
    my $t = shift; 
    scalar localtime $t; 
} 

sub show_localtime_list { 
    my $t = shift; 
    my @a = localtime $t; 
    "@a\n" 
} 

• (Jest też trochę presentation :))

Obsługuje wiele przypadków i zdaje się rozumieć oba znaczniki czasu w sekundach i mini- sekundy, itp.

$ localtime < ~/.histfile 
<snip> 
: Sat Sep 17 05:55:17 2016:0;cat localtime 

Answer 2

Wypróbuj history -d. Lub wpisz history - i nacisnąć control-D, aby uzyskać wszystkie różne opcje:

% history - 
-D -- print elapsed times 
-E -- dd.mm.yyyy format time-stamps 
-d -- print time-stamps 
-f -- mm/dd/yyyy format time-stamps 
-i -- yyyy-mm-dd format time-stamps 
-m -- treat first argument as a pattern 
-n -- suppress line numbers 
-r -- reverse order of the commands 

Answer 3

Można wyświetlić całą historię ze znaczników czasu czytelnych dla człowieka przy użyciu tego jednego-liner zaczerpnięty z an answer on the zsh mailing list:

perl -lne 'm#: (\d+):\d+;(.+)# && printf "%s :: %s\n",scalar localtime $1,$2' $HISTFILE 

Polecam wyprowadzenie wyjścia na pager (na przykład less), aby było bardziej czytelne.

Answer 4

Adendum: Można użyć samej komendy history przetłumaczyć znaczniki czasu znalezione w zapisanej historii plików, a także:

opcji, aby dowodzić history jak wyjaśnia Nicholas Riley zastosowanie równie dobrze do zapisanych plików historii, więc history -d < historyfile (lub jakakolwiek inna opcja) tłumaczy znaczniki czasu.

Przydaje się to, jeśli używasz więcej niż jednego pliku historii - skonfigurowałem zsh, aby zachować jeden plik historii na pty, aby uniknąć mieszania historii z powłok działających równolegle w tym samym systemie (ponieważ zazwyczaj każdy window/screen/... jest szczególny dla określonego zadania, a więc historie wyłaniające się z normalnego użytkowania kończą się rodzajem tematu).

Answer 5

: 1241036430:0;cat ~/.history 

‘: <beginning time>:<elapsed seconds>;<command>’. 

extendedhistory - zapisuje czas w sekundach. Czas rozpoczęcia jest od epoki.

źródło: http://zsh.sourceforge.net/Doc/Release/Options.html#index-EXTENDEDHISTORY