===============
The most effective way to get bugs out of code is code review. More than running the code, more than unit tests, having someone else review an author's code is the best technique known to eliminate bugs (Fagan 1975 and Cohen 2006).
===============
The most effective way to get bugs out of code is code review. More than running the code, more than unit tests, having someone else review an author's code is the best technique known to eliminate bugs (Fagan 1975 and Cohen 2006).
#!/bin/sh | |
cat <<EOF > /lib/systemd/system/delete-on-shutdown.service | |
[Unit] | |
Description=Delete this instance | |
Requires=network.target | |
DefaultDependencies=no | |
Before=shutdown.target | |
[Service] |
sudo apt-get install libgmp-dev libmpfr-dev libmpc-dev g++-multilib mercurial texinfo | |
hg clone http://hg.openjdk.java.net/jdk8u/jdk8u | |
cd jdk8u | |
hg update jdk8u92-b14 | |
sed -ri 's/subrepos="[^"]+"/subrepos="hotspot"/' ./make/scripts/hgforest.sh # only get hotspot | |
sed -ri 's/subrepos="[^"]+"/subrepos="hotspot"/' ./common/bin/hgforest.sh # only get hotspot | |
chmod +x ./get_source.sh; ./get_source.sh | |
cd hotspot/src/share/tools/hsdis | |
wget http://ftp.heanet.ie/mirrors/ftp.gnu.org/gnu/binutils/binutils-2.29.tar.gz | |
tar -xzf binutils-2.29.tar.gz |
theory EWD840 | |
imports "HOL-TLA.TLA" | |
begin | |
section Utilities | |
text ‹A handful of general lemmas that were useful along the way.› | |
lemma temp_impI: | |
assumes "sigma ⊨ P ⟹ sigma ⊨ Q" |
# One liner | |
wget --recursive --page-requisites --adjust-extension --span-hosts --convert-links --restrict-file-names=windows --domains yoursite.com --no-parent yoursite.com | |
# Explained | |
wget \ | |
--recursive \ # Download the whole site. | |
--page-requisites \ # Get all assets/elements (CSS/JS/images). | |
--adjust-extension \ # Save files with .html on the end. | |
--span-hosts \ # Include necessary assets from offsite as well. | |
--convert-links \ # Update links to still work in the static version. |
Issue is due to the fact that lineage 14.1 bullhead nightlies are based on the 7.1.2 N2G47F (Apr 2017) monthly update from google.
More explanations in xda-developers.
This assumes:
ffmpeg -r 24 -pattern_type glob -i '*.JPG' -i DSC_%04d.JPG -s hd1080 -vcodec libx264 timelapse.mp4
-r 24
- output frame rate-pattern_type glob -i '*.JPG'
- all JPG files in the current directory-i DSC_%04d.JPG
- e.g. DSC_0397.JPG-s hd1080
- 1920x1080 resolutionAdd Enable=Source
to /etc/bluetooth/audio.conf right after [General]
.
Find address in form XX:XX:XX:XX:XX:XX of phone with hcitool scan
.
Pair and trust smartphone with sudo bluez-simple-agent hci0 XX:XX:XX:XX:XX:XX
and sudo bluez-test-device trusted XX:XX:XX:XX:XX:XX yes
.
Create loopback in pulseaudio connection bluetooth a2dp source with alsa sink: