piBot – bot for monitoring temperature

This is a long due project using a raspberry Pi to monitor the temperature of a cabin I’ve been building for a very long time. I’ve bought the hardware almost 4 years ago and only arrived to the point where I could use it. Motivation Beside the geek motivation the main practical motivation is to measure inside and outside temperature in order to estimate: degree of insulation and week points min temperature in order to calculate needed anti-freeze mix for heating pipes temperature monitoring for pump automation (TODO) min temperature in order to start some electric heating (TODO) accuracy of weather predictions for the location Architecture The architecture of the system is quite simple and has the following components:...

November 30, 2017 · len

Remove old kernels

for i in $(dpkg --list | grep linux-image | cut -c5-48 | grep -v $(uname -r) | grep -v linux-image-generic); do apt-get remove --purge -y $i; done

May 28, 2017 · len

Java SAML2 + simplesamlphp

The use case is as follows: the java application (SP) must use simplesamlphp as an IdP. I tested 2 libraries, these are the required configs. SimpleSAMLphp Please note that the default install from ubuntu (16.04.2) of simplesamlphp (14.0) does not work with the php version installed (php7) because of this bug so I ended installing everything from the tar.gz provided (14.14). Onelogin This is the first library I tested. To install it:...

May 24, 2017 · len

Simple pomodoro script

This is a very basic pomodoro script I am using to avoid getting in a fixed position for hours at a time: <pre lang="shell"> #!/bin/bash UNIT=5 UNIT_CNT=5 PAUSE=6 notify-send -i clock "Starting interval..." for i in $(seq $UNIT_CNT); do sleep ${UNIT}m let c=$i*$UNIT notify-send -i clock "$c minutes" done (for i in $(seq $PAUSE); do let c=$PAUSE-$i+1; echo -n "Pause ${c}m"; echo -e '\f'; sleep 1m; done; echo -e '\f'; echo "Work";) | sm -

December 22, 2016 · len

Simple hdmi activate script

This is a simple script I bound to ‘meta+F7’ to activate a second hdmi display I am using: <pre lang="shell"> INTERNAL=eDP1 EXTERNAL=HDMI2 LOCK=/tmp/${EXTERNAL}.on disper -l | grep $EXTERNAL function on { disper -e -d $INTERNAL,$EXTERNAL -r 1920x1080,1920x1080 touch $LOCK } function off { disper -s -d $INTERNAL -r auto rm -f $LOCK } if [ $? -eq 1 ]; then #there is no EXTERNAL, run single command off elif [ -f $LOCK ]; then off else on fi

December 22, 2016 · len

Ubuntu 16.04

I’we used ubuntu since edgy days and migrating from gentoo. Things got better each time, until they started getting worse or until I started to expect not to have to fix and patch each time. So now I don’t feel like giving any impression, just a list of bugs: sound is sometimes not working after reboot. This is due to the fact that the sound card order changes. One needs to add: options snd-hda-intel id=HDMI index=-2 in /etc/modprobe....

May 25, 2016 · len

Searching for signal

For the last few years, one of the tool I have greatly used is a Huawei E587 modem. It’s a great little device which gave me a lot of freedom. Even if it is quite old, it outperforms, even without an external antenna any smartphone I used for tethering and especially my new Samsung Galaxy S5 Neo which, as a parenthesis, has one of the poorest software I have ever seen, reminds me of a circa 2000 windows pre-installed on a laptop and filled with junkware....

February 29, 2016 · len

Running chrome in docker with audio

The goal is to run google-chrome in a docker container with audio support. I did this trying to get skype.apk to run in archron since skype for linux does not support conferencing anymore. Even if running skype in archron did not seemed to work chrome runs flawlessly with audio support via pulse: So here is the Dockerfile: <pre lang="bash"> FROM ubuntu:14.04 MAINTAINER len@len.ro RUN apt-get update && apt-get install -y wget pulseaudio && echo "deb http://dl....

February 28, 2016 · len

LUKS disk encryption with usb key on ubuntu 16.04

The goal is to create an encrypted device which gets automatically unlocked using an usb key. Updated on 20160521 for ubuntu 16.04 which creates a lot of problems. Create the key on the usb drive A good idea is to put the key on the usb drive in such a way it’s not obvious that is a key. Usually on the usb drive there is a 512 bytes MBR (1 sector) and then up to 32 other sectors until the first partition....

January 11, 2016 · len

Ensure rPi connectivity

The problem: make sure I can connect to my raspberry pi B+ even if no network is available or network change. The idea: set a static IP. First some information: running raspbian 8.0 (cat /etc/issue) there is no need for a crossover UTP cable if you connect directly to the device you can use a normal cable IP configuration is delegated from /etc/network/interfaces to the dhcpcd daemon. This is why the eth0 is set on manual....

January 8, 2016 · len