导出时哪个软件会在美元符号之间发出这种格式的日期?

导出时哪个软件会在美元符号之间发出这种格式的日期?

有时我会看到日期包含在两个$(美元)符号之间,例如。$Date: 2018/11/11 10:05:10 $或者$Date: Tuesday 06 April 2004 - 14:10:05$

我主要在个人主页上看到过这种情况,很可能是用某种标记语言编写的,然后导出为 HTML,还有一次在 PDF 文档中看到过。 HTML源代码没有任何相关的元标记(例如生成器),并且网络搜索在涉及特殊字符时不是很好,所以......

我的问题是哪个软件产生这个输出。

答案1

这些都是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 $

相关内容