在我找到我的编辑器并自己编写一个小工具之前:
有没有一个简单的 unix/gnutool 可以持续增加数字。大致如下:
$ increment
#=> 1
$ increment
#=> 2
$ exit
$ increment
#=> 4
它可以将数字存储在磁盘(~/.increment)或其他任何地方。"命名"号码的奖励积分,如$ increment --name=foo
;每个名称都有增量器。
#!/bin/bash
readonly myfile=${0%.sh}.store
[[ ! -s $myfile ]] echo '0' >> $myfile
read myid < $myfile
((++myid))
echo $myid
echo $myid > $myfile