You cannot select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

1.5 KiB

Raw Blame History

This is about writing my thesis with git so to keep track of my writing and experiment with other ways of publishing.

Here is where me and others meet in the text. Here is others people proof readings on my texts.

https://pad.xpub.nl/p/thesis-angeliki

Scripts

Podcast

The command line "podcast" allows recording of microphone input and soundcard at the same time. first: mv podcast .local/bin/podcast follow these instructions to create a pulse_monitor for access to external mic: http://pzwiki.wdka.nl/mediadesign/Command-line_podcasts run in terminal: podcast

###pre.. sudo apt-get install pavucontrol sudo apt-get install pulseaudio pulseaudio-module-zeroconf alsa-utils avahi-daemon sudo apt-get install ffmpeg

Srttojs

python3 srttojs.py description-alex1-A.srt

eaiaiaiaoi

Give access to apache for uploading audio through php sudo chown www-data:www-data /uploads/

record and save user's microphone

Updated script: https://developers.google.com/web/fundamentals/media/recording-audio

errors: https://stackoverflow.com/questions/34215937/getusermedia-not-supported-in-chrome

Chrome finally implemented the new navigator.mediaDevices.getUserMedia() method, but they added a security that will prevent the calls from unsecure address (non https or non localhost servers)

You will call it like this :

var video = document.querySelector('video'); navigator.mediaDevices.getUserMedia({video:true}).then(function(mediaStream){ window.stream = mediaStream; video.src = URL.createObjectURL(mediaStream); video.play(); });