Something went wrong. Try again.
🎥 Command line media player
Something went wrong. Try again.
1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556#!/usr/bin/env python3
# This script simply downloads waf to the current directory
from __future__ import print_functionimport os, sys, stat, hashlib, subprocess
WAFRELEASE = "waf-2.0.9"WAFURLS = ["https://waf.io/" + WAFRELEASE, "http://www.freehackers.org/~tnagy/release/" + WAFRELEASE]SHA256HASH = "2a8e0816f023995e557f79ea8940d322bec18f286917c8f9a6fa2dc3875dfa48"
if os.path.exists("waf"): wafver = subprocess.check_output([sys.executable, './waf', '--version']).decode() if WAFRELEASE.split('-')[1] == wafver.split(' ')[1]: print("Found 'waf', skipping download.") sys.exit(0)
if "--no-download" in sys.argv[1:]: print("Did not find {} and no download was requested.".format(WAFRELEASE)) sys.exit(1)
try: from urllib.request import urlopen, URLErrorexcept: from urllib2 import urlopen, URLError
waf = None
for WAFURL in WAFURLS: try: print("Downloading {}...".format(WAFURL)) waf = urlopen(WAFURL).read() break except URLError: print("Download failed.")
if not waf: print("Could not download {}.".format(WAFRELEASE))
sys.exit(1)
if SHA256HASH == hashlib.sha256(waf).hexdigest(): with open("waf", "wb") as wf: wf.write(waf)
os.chmod("waf", os.stat("waf").st_mode | stat.S_IXUSR) print("Checksum verified.")else: print("The checksum of the downloaded file does not match!") print(" - got: {}".format(hashlib.sha256(waf).hexdigest())) print(" - expected: {}".format(SHA256HASH)) print("Please download and verify the file manually.")
sys.exit(1)