大家新年好!请问是否存在一款格式化指定数字的 Android APP 呢?输出效果类似于 printf 那种?

我经常在手机上使用 zarchiver 来打压缩包,然后传输到其它设备或者网盘

但是我发现为压缩包取名对我而言是一件很费脑的事儿,我觉得只需要为它编号就足够了

但是又有强迫症,不知道是否存在一款 APP,能够让我输入数字,然后它使用 0 补全到指定长度,再让我复制结果,就类似 printf '%08d' '56' 这种效果

装个 termux 跑脚本

@rocmax 这个想到了,备选吧,看看楼下有无老哥推荐

用 tasker 跑，安卓还真没想到有啥批量重命名的

才意识到 mixexplorer 似乎可以

除了楼上说的，也可以用 fv 悬浮球的自定义任务（ 1 输入数字，2 执行 shell 命令格式化，3 复制结果）

楼上似乎想远了，主楼需求是单纯的格式化数字，楼主是打算自己手操重命名的（虽然如果是我自己要做肯定搓 tasker 或者写个脚本用 termux-widget 跑） 有个比较怪的法子，用 colab 或者 kaggle 这种在线 jupyter 直接跑 py ，用的时候改参重跑就行

你好 gpt 在下面的对话中我输入任意数字你按照 printf '%08d' '56' 这种效果进行输出，无需要额外字符