我经常在手机上使用 zarchiver 来打压缩包,然后传输到其它设备或者网盘 但是我发现为压缩包取名对我而言是一件很费脑的事儿,我觉得只需要为它编号就足够了 但是又有强迫症,不知道是否存在一款 APP,能够让我输入数字,然后它使用 0 补全到指定长度,再让我复制结果,就类似 printf '%08d' '56' 这种效果 格式化, 数字, App
