StevenClontz/redirect.py

## redirect.py
# FIRST, copy (not move) your HTML into the desired directory you wish to redirect to using your filesystem
# you can delete any non-HTML files at the original location, at least, only HTML can be redirected

import os

# current path to PreTeXt-generated HTML from working directory
current = os.path.join("docs")
# relative path to redirected HTML from current, default assumes move from ./docs to ./docs/archive-2021
redirect = os.path.join("archive-2021")

for filename in os.listdir(current):
    if filename.endswith(".html"):
        html = f'<html><head><meta http-equiv="refresh" content="0;url=./{filename}" /></head><body>Redirecting...</body></html>'
        with open(os.path.join(current,filename),"w") as f:
            f.write(html)
    else:
        continue
	# FIRST, copy (not move) your HTML into the desired directory you wish to redirect to using your filesystem
	# you can delete any non-HTML files at the original location, at least, only HTML can be redirected

	import os

	# current path to PreTeXt-generated HTML from working directory
	current = os.path.join("docs")
	# relative path to redirected HTML from current, default assumes move from ./docs to ./docs/archive-2021
	redirect = os.path.join("archive-2021")

	for filename in os.listdir(current):
	if filename.endswith(".html"):
	html = f'<html><head><meta http-equiv="refresh" content="0;url=./{filename}" /></head><body>Redirecting...</body></html>'
	with open(os.path.join(current,filename),"w") as f:
	f.write(html)
	else:
	continue