zsh その７ (749ﾚｽ)
zsh その７ http://mevius.5ch.net/test/read.cgi/unix/1337844883/
上
下
前次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
抽出解除
ﾚｽ栞
ﾘﾛｰﾄﾞ規制
です｡10分ほどで解除するので､
他のﾌﾞﾗｳｻﾞ
へ避難してください｡
258: 名無しさん＠お腹いっぱい。 [sage] 2014/01/04(土) 21:20:50.10 zsh-5.0.2 から zsh-5.0.4 に上げたら appendhistory で $HISTFILE に elapsed times が残るようになってるじゃないか。 よかよか。追加タイミング変わったんだね。実行完了時に。 http://mevius.5ch.net/test/read.cgi/unix/1337844883/258
307: 名無しさん＠お腹いっぱい。 [sage] 2014/02/15(土) 11:39:19.20 話題か。 >>258 の件で $HISTFILE に elapsed times が残るようになったのはいいんだけど、 実行中に別 zsh 起こしてその履歴使ったり history -D したりできなくなってしまった。(当然) とりあえず放置してるけど。 これでもいいような、そうでもないような。 share_history は前のまま実行前に追加するみたい。(elapsed times が残らない。) てか share_history って imported lines と local lines 分けてるんだね。 昔は違った気がするけど。 あと import タイミングが行編集終了時。最初、終了前に履歴辿って効いてないのかと思った。 http://mevius.5ch.net/test/read.cgi/unix/1337844883/307
ﾒﾓ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.025s