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

[YGHMXFAL]

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

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

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

[rocmax]

装个 termux 跑脚本

[YGHMXFAL]

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

[Rang666]

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

[Rang666]

才意识到 mixexplorer 似乎可以

[chimjiy]

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

[coldle]

楼上似乎想远了，主楼需求是单纯的格式化数字，楼主是打算自己手操重命名的（虽然如果是我自己要做肯定搓 tasker 或者写个脚本用 termux-widget 跑）

有个比较怪的法子，用 colab 或者 kaggle 这种在线 jupyter 直接跑 py ，用的时候改参重跑就行

[fengFly]

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

[Natsumoku]

有个 app 叫 HTTP Request Shortcuts
可以自定义输入、JavaScript 脚本、以及输出方式
支持和 tasker 联动，当然楼主的需求直接把 js 格式化后的结果复制到剪贴板就行
这个 app 非常强大，动手能力强的话有很多应用场景

[coldle]

@Natsumoku #8
看了下是开源的，好东西呀，用这个搓 js 肯定比在 tasker 里搓舒服多了

[YGHMXFAL]

@Natsumoku #8 太完美了大佬!3 行代码完美解决我的问题~

而且我还禁止了它联网,完全离线运行(滑稽)

顺便也解决了我另外一个问题:百度输入法会记录 20 个剪贴板条目,以前一直烦恼怎么清空这 20 个条目,现在好了,直接生成 20 个 UUID 塞爆剪贴板哈哈哈~

再次感谢大佬~