Skip to content

Instantly share code, notes, and snippets.

View psqq's full-sized avatar
🙃
Where is my mind?

Sergey Pestov psqq

🙃
Where is my mind?
4 followers · 4 following
  • Arkhangelsk
View GitHub Profile
@psqq
psqq / watch-for-files.sh
Created December 30, 2015 09:03 — forked from duese/watch-for-files.sh
Looks for file changes in the current directory
#!/bin/bash
inotifywait -m $PWD -r -e create -e moved_to -e delete |
while read path action file; do
TITLE="Filesystem changed"
MESSAGE="The file '$file' appeared in directory '$path' via '$action'"
echo ${MESSAGE}
notify-send "${TITLE}" "${MESSAGE}"
done
@psqq
psqq / jupyter
Last active November 16, 2016 16:05 — forked from doowon/jupyter
A service (init.d) script for jupyter
#! /bin/sh
### BEGIN INIT INFO
# Provides: jupyter
# Required-Start: $remote_fs $syslog
# Required-Stop: $remote_fs $syslog
# Default-Start: 2 3 4 5
# Default-Stop: 0 1 6
# Short-Description: Start jupyter
# Description: This file should be used to construct scripts to be
# placed in /etc/init.d.
@psqq
psqq / 8_0000000001_1843120128_semilattices.txt
Last active May 13, 2017 06:58 — forked from anonymous/8_0000000001_1843120128_semilattices.txt
1111111112111111113111111114111111115111111116111111117111111118111111111211111111311111111411111111511111111611111111771111117811111111121111111131111111141111111151111111161611111177111116781111111112111111113111111114111111115111111116661111167611111668111111111211111111311111111411111111511111111666111116771111167811111111121111111131111111141111111151151111161611111177111156781111111112111111113111111114111111115115111116611111167111115118111111111211111111311111111411111111511511111666111116761111566811111111121111111131111111141111111151151111166611111677111156781111111112111111113111111114111111115155111116661111567711115678111111111211111111311111111411111111555511115655111155751111555811111111121111111131111111141111111155551111565511115577111155781111111112111111113111111114111111115555111156561111557711115678111111111211111111311111111411111111555511115666111156761111566811111111121111111131111111141111111155551111566611115677111156781111111112111111113111111114111411115115111116161111117711145678