有一个名称如“fileName.txt”的文件列表。还有一个任务：以“old_fileName_2020-09-23T15:25.txt”格式重命名文件
如何提取文件的创建时间，甚至正确格式化？
顺便说一句，每个文件都有以文本形式创建该文件的日期，如果有的话。但它不存在 ISO 格式。
谷歌搜索以下信息：这是代码：
from os.path import getctime
from time import ctime
print(ctime(getctime('fileName.txt')))
以 AND形式显示有关文件的信息Tue Dec 8 20:35:22 2020
，显然，这是一条死胡同。当然，您可以尝试使用切片从文本中剪切出各个部分并在必要时粘贴它们，但是对于如此简单的目的而言，这太复杂了。
有没有其他选择？谢谢你。
有一个班级，一排有 N 个学生。您需要给学生拍照，但出于审美原因，您希望他们按身高顺序排列。为此，您可以告诉相邻的一组学生改变他们的位置。您的目标是找到站在相邻组中的最少学生人数，在重新排列他们的位置后，将导致整行按身高排序。
学生的当前位置由数组A给出，其中元素A K记录位置K学生的身高。排列后，学生应按身高非递减顺序排序。那些。A P ≤ A P+1对于任何 0 ≤ P < N-1。
例如，如果数组 A 如下所示：
A [0] = 1
A [1] = 2
A [2] = 6
A [3] = 5
A [4] = 5
A [5] = 8
A [6] = 9
那么要重新排列的最小学生组是A[2..4]，长度为3。重新排列后，我们得到[1,2,5,5,6,8,9]，这是正确的命令。包含少于三名学生的相邻组的任何其他排列都不会对结果行进行正确排序。
该解决方案必须包含一个函数，该函数采用包含学生和摄影师身高差值的数组 A，并返回相邻组中站立的学生的最小数量，排序后将对整个数组进行排序。如果学生数组已经排序，函数应该返回 0。
例如，对于上述数组 A，该函数应返回 3。
Предположим, что:
1. N - целое число в диапазоне [1. 100 000]
2. каждый элемент массива А является целым числом в диапазоне [1. 100 000 000].
我想看看你的解决方案，最好是在 JS 中（我正在学习它）。