Looks like Synergy has been forked and the new version (Barrier) is available for most platforms. I’ve tried this out for about half an hour and it seems to work really well. https://github.com/debauchee/barrier/releases This might be the solution to some of the cable switching I have to do when I’m working from home.
I think i3 is now my lightweight window manager of choice. It’s really fast on very old or low powered machines, and I’d really like to try it on something more powerful. There is a learning curve though, but the documentation is great: https://i3wm.org/docs/userguide.html Commands that I use deserve a blog post, but basically it’s … Read more
Today I dealt with the issue that all my Rasberry Pis were running a version of the OS that was quite old. This also lead to me setting up a new pihole computer, which now updates with the following script:
https://notable.md/ This is a markdown editor that looks promising.
ESC + number to move between screens. ALT won’t work. This is useful when I’m using the Chromebook + Pi combination.
To convert one file: convert input.jpg output.pdf Or for all files in a directory: convert *.jpg output.pdf
Ubuntu for Raspberry Pi doesn’t have SSH installed or enabled. To connect to a Pi remotely you will need to type sudo apt install openssh-server to install it, and then sudo systemctl enable ssh to start the service every time the Pi boots.
SSH to slave27.local and then issue one of the following commands: cd Music tree -l > /home/andy/Dropbox/music-2017-01-28.txt Which gives output that looks something like this: ├── !!! │ └── Thr!!!er │ ├── 01 Even When The Water’s Cold.m4a │ ├── 02 Get That Rhythm Right.m4a │ ├── 03 One Girl _ One Boy.m4a │ ├── … Read more
My plan is to migrate everything to this syntax. This is the first one. #!/bin/bash echo “updateall v.1.3 for Raspian” #Run this as a normal user. Your admin password will be asked for if required. sudo apt update sudo apt upgrade -y sudo apt full-upgrade -y sudo rpi-update echo “The script has now finished running.”
PIXEL is the new UI for the Pi, which will be on all new installations. To upgrade an existing Pi issue the following commands: sudo apt-get update sudo apt-get dist-upgrade sudo apt-get install -y rpi-chromium-mods sudo apt-get install -y python-sense-emu python3-sense-emu sudo apt-get install -y python-sense-emu-doc realvnc-vnc-viewer