1

在我找到我的编辑器并自己编写一个小工具之前:

是否有一个简单的 unix/gnutool 可以持续增加数字。类似于以下内容:

  $ increment 
  #=> 1
  $ increment
  #=> 2
  $ exit
  $ increment
  #=> 4

它可以将数字存储在磁盘(~/.increment)或其他任何地方。“命名”数字的奖励积分,例如$ increment --name=foo; 每个名称都有增量器。

4

1 回答 1

2
#!/bin/bash

readonly myfile=${0%.sh}.store

[[ ! -s $myfile ]] echo '0' >> $myfile

read myid < $myfile
((++myid))

echo $myid
echo $myid > $myfile
于 2012-11-14T09:09:41.220 回答