Suponha que a entrada esteja em input.txt e você deseje a saída em output.txt. Crie um script python e chame-o de sort.py assim:
l=map(int,raw_input("").strip().split()) l.sort() print l # It will store it as a list # or more precisely your answer can be k="" for i in l: k+=str(i)+" " print k #same output as you want
Execute-o no terminal:
python sort.py < input.txt > output.txt