History
導出時哪個軟體會以這種格式發出日期?
有時我會看到日期包含在兩個
$
(美元)符號之間,例如。$Date: 2018/11/11 10:05:10 $
或$Date: Tuesday 06 April 2004 - 14:10:05$
。我主要在個人首頁上看到過這種情況,很可能是用某種標記語言編寫的,然後導出為 HTML,還有一次是在 PDF 文件中。HTML 原始碼沒有任何相關的元標記(例如生成器),而 websearch 在涉及特殊字元時不是很好,所以…
我的問題是哪個軟體產生這個輸出。
這些是RCS 關鍵字,也被 CVS 和其他版本控制軟體使用:
$ echo '$Id$' >> foo $ ci foo foo,v <-- foo enter description, terminated with single '.' or end of file: NOTE: This is NOT the log message! >> initial commit >> . initial revision: 1.1 done $ co -kkv foo foo,v --> foo revision 1.1 done $ cat foo $Id: foo,v 1.1 2022/08/08 22:52:40 jhqdoe Exp $