c语言 改变时间格式输出

把输入的日期改为目标格式输出
输入:November 17 1968 Sunday 6 6 6
输出:Sun Nov 17 06:06:06 1968
这种c语言怎么写啊

固定的格式,固定的输出

img

#include<stdio.h>

int main() {
    char date[] = "November 17 1968 Sunday 6 6 6";
//    输出:Sun Nov 17 06:06:06 1968
    printf("%c%c%c %c%c%c %d %c:%c:%c %c%c%c%c", date[17], date[18], date[19],
           date[0], date[1],date[2], date[24], date[26], date[28], date[11], date[12],
           date[13], date[14], date[15]);

}

不知道你这个问题是否已经解决, 如果还没有解决的话:

如果你已经解决了该问题, 非常希望你能够分享一下解决方案, 写成博客, 将相关链接放在评论区, 以帮助更多的人 ^-^