Skip to main content

Browse the archive

https://github.com/homalg-project/homalg_project
10 March 2024, 21:17:43 UTC
Revision dd1303c55e49019b20ed41fd78d2a6bedebffd3a authored by Fabian Zickgraf on 02 November 2022, 08:12:27 UTC, committed by Fabian Zickgraf on 02 November 2022, 08:46:33 UTC 
Use GAP's `DirectoryTemporary` for getting a temporary directory
1 parent 72c631a
Raw File
Tip revision: dd1303c55e49019b20ed41fd78d2a6bedebffd3a authored by Fabian Zickgraf on 02 November 2022, 08:12:27 UTC
Use GAP's `DirectoryTemporary` for getting a temporary directory
Tip revision: dd1303c
delete_old_releases.py 
import sys
import json
from json import *

package_name=sys.argv[1]

json_data_file=sys.argv[2]

with open(json_data_file) as data_file:
  data=json.load(data_file)

number_releases=len(data)

package_releases=[ [ data[i]["id"], data[i]["created_at"] ] for i in range(number_releases) if data[i]["name"].startswith(package_name) ]

package_releases.sort(key=lambda x:x[1])

if len(package_releases) > 2:
  package_releases=package_releases[:len(package_releases)-2]
  for i in range(len(package_releases)):
    print(package_releases[i][0]," ")
back to top