-i
- ignore errors
-c
- continue
-t
- use video title as file name
--extract-audio
- extract audio track
# You need to have the 'requests' module installed, see here: https://pypi.org/project/requests/ | |
import requests | |
# Note regarding 2FA | |
# You can either disable 'Enforce 2FA' setting and disable '2FA'. Then you can just use your regular user password. | |
# Or you can just use an app password, e.g. named 'migration' which you can create in 'Personal settings' --> 'Security'. After successful migration you can delete the app password. | |
urlFrom = 'https://nextcloud.domainfrom.tld' | |
authFrom = ('username', 'user password or app password') | |
urlTo = 'https://nextcloud.domainto.tld' |
import requests | |
urlFrom = 'https://cloud.domainfrom.tld' | |
authFrom = ('username', 'password') | |
urlTo = 'https://nextcloud.domainto.tld' | |
authTo = ('username', 'password') | |
headers={'OCS-APIRequest': 'true', 'Content-Type': 'application/json'} | |
After weeks of struggling how to setup PulseAudio properly on a server for concurrent audio sources I finally found a way. This is a little guide through the process.
In my living room there is a little server machine for a lot of purposes. For example, it is connected to my A/V receiver (and obviously a TV) so I can use this machine for playing audio and video. My setup is the following:
#!/usr/bin/env bash | |
# Strict mode (see: http://redsymbol.net/articles/unofficial-bash-strict-mode/). | |
set -euo pipefail | |
IFS=$'\n\t' | |
# We name the repository directory after the system's hostname and the current | |
# year/month. We include the year/month combo so our backup repository doesn't | |
# continue to grow forever, and we can manually delete old ones as necessary. | |
name="$(hostname)" |
Github provides no facility to do this via the UI. This is sad, because it would be extremely useful in order to draft something before publishing it. It would also be trivial for them to implement. Never mind; here's how to do it manually:
https://gist.github.com/b9cc265982870c091a1e.git
, and extract the ID b9cc265982870c091a1e
.https://gist.github.com/8270253.git
, and extract the ID 8270253
.git clone [email protected]:b9cc265982870c091a1e tmp-dir && cd tmp-dir && git push -f [email protected]:8270253.git