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.

44 lines
1.5 KiB
Markdown

6 years ago
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.
6 years ago
https://pad.xpub.nl/p/thesis-angeliki
6 years ago
# Scripts
## Podcast
The command line "podcast" allows recording of microphone input and soundcard at the same time.
first:
6 years ago
`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
6 years ago
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
6 years ago
## 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();
});