Skip to content

Instantly share code, notes, and snippets.

@FlorianFranzen
FlorianFranzen / nixos-install-hetzner-cloud.sh
Created March 26, 2021 12:58
Bash script to install basic hetzner cloud instance
#! /usr/bin/env bash
# Script to install NixOS from the Hetzner Cloud NixOS bootable ISO image.
# (tested with Hetzner's `NixOS 20.03 (amd64/minimal)` ISO image).
#
# This script wipes the disk of the server!
#
# Instructions:
#
# 1. Mount the above mentioned ISO image from the Hetzner Cloud GUI
@FlorianFranzen
FlorianFranzen / Dockerfile
Created April 20, 2020 15:04
Dockerfile to set up Polkadot Runtime Verification environment
# Latest build can be found on Docker Hub
# https://hub.docker.com/repository/docker/florianfranzen/polkadot-verification
# Base of latest LTS release
FROM ubuntu:bionic
# Install dependencies
RUN apt-get update && DEBIAN_FRONTEND=noninteractive apt-get install -y \
autoconf \
bison \
diff --git a/cmake/functions.cmake b/cmake/functions.cmake
index 778eb16..cc25e6f 100644
--- a/cmake/functions.cmake
+++ b/cmake/functions.cmake
@@ -44,74 +44,33 @@ function(add_flag flag)
endif ()
endfunction()
-function(compile_proto_to_cpp PROTO_LIBRARY_NAME PB_H PB_CC PROTO)
- get_target_property(Protobuf_INCLUDE_DIR protobuf::libprotobuf INTERFACE_INCLUDE_DIRECTORIES)

Summary

This is a quick investigation into what happens to an encrypted file if git-crypt is removed from the PATH. This could for example happen if git-crypt is uninstalled or if an already checked out repository is accessed from a different environment or host.

As git-crypt is currently implemented as a filter, its required flag controls the behavior on failure (according to man gitattributes). If it is not set or set to false, a failure of git-crypt (e.g. to re-encrypt the file) does not result in an error being raised.

To find out if the required flag is set, you can use the following command:

❯ git config filter.git-crypt.required     
file:.git/config	true

Keybase proof

I hereby claim:

  • I am florianfranzen on github.
  • I am florianfranzen (https://keybase.io/florianfranzen) on keybase.
  • I have a public key ASDIprA6dKZR20s8LfpycMF8Kr8oHCmIaUajaGuqfIDk7go

To claim this, I am signing this object:

diff --git matlab/CMakeLists.txt matlab/CMakeLists.txt
index 81dfc6c..63dc533 100644
--- matlab/CMakeLists.txt
+++ matlab/CMakeLists.txt
@@ -8,17 +8,10 @@ install(FILES ${mfiles} DESTINATION local/matlab)
# Create and install man pages
set(docbooks spots2pos.docbook)
-file(GLOB_RECURSE files /usr/share/docbook.xsl)
-foreach(file ${files})
diff -ur scripts/duration scripts/duration
--- scripts/duration 2012-03-19 19:08:42.000000000 +0100
+++ scripts/duration 2012-12-19 15:30:29.000000000 +0100
@@ -14,24 +14,24 @@
#//
#////////////////////////////////////////////////////////////////////////////
-BLACK="\e[1;30m"
-DARK_GREY="\e[1;30m"
-BLUE="\e[1;34m"
diff --git src/process_removeartefacts/process_removeartefacts.cpp src/process_removeartefacts/process_removeartefacts.cpp
index 13458f7..37bf8bc 100644
--- src/process_removeartefacts/process_removeartefacts.cpp
+++ src/process_removeartefacts/process_removeartefacts.cpp
@@ -34,7 +34,7 @@
using namespace std;
-main(int argc,char *argv[])
+int main(int argc,char *argv[])
diff --git gr-qtgui/include/gnuradio/qtgui/DisplayPlot.h gr-qtgui/include/gnuradio/qtgui/DisplayPlot.h
index 3b31191..517f69f 100644
--- gr-qtgui/include/gnuradio/qtgui/DisplayPlot.h
+++ gr-qtgui/include/gnuradio/qtgui/DisplayPlot.h
@@ -269,6 +269,7 @@ signals:
protected slots:
virtual void legendEntryChecked(QwtPlotItem *plotItem, bool on);
+ virtual void legendEntryChecked(const QVariant &plotItem, bool on, int index);
@FlorianFranzen
FlorianFranzen / gnuradio_gr-qtgui_removeQt3.patch
Created January 29, 2014 00:09
Removes leftovers from Qt3 to Qt4 conversion.
diff -u gr-qtgui/lib/spectrumdisplayform.ui gr-qtgui/lib/spectrumdisplayform.ui
--- gr-qtgui/lib/spectrumdisplayform.ui 2014-01-29 01:06:55.000000000 +0100
+++ gr-qtgui/lib/spectrumdisplayform.ui 2014-01-29 01:07:17.000000000 +0100
@@ -506,7 +506,6 @@
</layout>
</widget>
<layoutdefault spacing="6" margin="11"/>
- <pixmapfunction>qPixmapFromMimeSource</pixmapfunction>
<customwidgets>
<customwidget>