Dump Gab from Redis to JSON

dumpredis.py

#!/bin/python3
import redis

r = redis.Redis()

print("LOADING...")
k = r.keys("GABPOST*")

print("SORTING...")
y = []
for x in k:
    y.append(int(x[7:]))
y.sort()
del k
k = y

print("DUMPING...")
with open("gab_posts.json", 'w') as f:
    for x in k:
        d = r.get("GABPOST"+str(x))
        f.write(d.decode('utf-8')+"\n")