#!/usr/bin/env python3 # Gera os dois efeitos sonoros que trocam game/goal/get_ball.wav e game/goal/close.wav do Escape Space (os # originais sao de "manuts" no Freesound, sem fonte original localizavel; ver o LICENSE.txt do jogo). Os sons # daqui sao nossos, sintetizados do zero (seno e ruido com semente fixa), 44100 Hz, 16 bits, mono, e ficam # em CC0 (dominio publico). A saida e deterministica; o build-escape-space.sh usa os .wav gerados. # # python3 -I gen-goal-sounds.py import math, random, struct, wave, os RATE = 44100 def write(name, samples): peak = max(abs(s) for s in samples) or 1.0 path = os.path.join(os.path.dirname(os.path.abspath(__file__)), name) with wave.open(path, 'wb') as w: w.setnchannels(1); w.setsampwidth(2); w.setframerate(RATE) w.writeframes(b''.join(struct.pack('