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
44 lines
1.5 KiB
Markdown
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();
|
|
});
|