电脑里有100多个视频，然后它的开始和结束太长了，于是想把它剪一下。。。#!/usr/bin/env python # RmvbEditor http://gd.7edown.com:808/green/rmedtgui.rar # MediaInfo CLI x86 http://medi
动态格式化字符串a = [[1,2,3], [4,5,6],[7,8], [10,11,12,13,14]] for i in a: fmt = '%s ' * len(i) argvs = ''.join([
同事问怎么批量把某文本中有"/*" 开头"*/"结尾的内容删除. 比较方便的办法是用awk,sed什么的.但那两个很久没用, 不记得怎么折腾了. 于是想着用python怎么折腾. 下面的脚本测试没什么问题.记录一下...#!/usr/bin/env python import os, sys if len(sys.argv) != 2
Copyright © 2005-2024 51CTO.COM 版权所有 京ICP证060544号
