我经常在手机上使用 zarchiver 来打压缩包,然后传输到其它设备或者网盘
但是我发现为压缩包取名对我而言是一件很费脑的事儿,我觉得只需要为它编号就足够了
但是又有强迫症,不知道是否存在一款 APP,能够让我输入数字,然后它使用 0 补全到指定长度,再让我复制结果,就类似 printf '%08d' '56'
这种效果
1
rocmax 15 小时 14 分钟前 via Android
装个 termux 跑脚本
|
3
Rang666 14 小时 53 分钟前 via Android
用 tasker 跑,安卓还真没想到有啥批量重命名的
|
4
Rang666 14 小时 46 分钟前 via Android
才意识到 mixexplorer 似乎可以
|
5
chimjiy 14 小时 22 分钟前 via Android
除了楼上说的,也可以用 fv 悬浮球的自定义任务( 1 输入数字,2 执行 shell 命令格式化,3 复制结果)
|
6
coldle 9 小时 48 分钟前
楼上似乎想远了,主楼需求是单纯的格式化数字,楼主是打算自己手操重命名的(虽然如果是我自己要做肯定搓 tasker 或者写个脚本用 termux-widget 跑)
有个比较怪的法子,用 colab 或者 kaggle 这种在线 jupyter 直接跑 py ,用的时候改参重跑就行 |
7
fengFly 7 小时 48 分钟前 via Android
你好 gpt 在下面的对话中我输入任意数字你按照 printf '%08d' '56' 这种效果进行输出,无需要额外字符
|