Skip to content

Instantly share code, notes, and snippets.

View fraenki's full-sized avatar
🤔

Frank Wall fraenki

🤔
  • markt.de GmbH & Co. KG
  • Munich, Germany
View GitHub Profile
@krassowski
krassowski / README.md
Created August 12, 2024 20:15
JupyterLab 4.3.0b0 with RTC

JupyterLab 4.3.0b0 with RTC

Binder

@oxc
oxc / dhparams.pp
Created November 23, 2017 13:09
Puppet defined type for regular dhparams re-generation
# create and refresh dh params
define profile::security::dhparams(
String $path = $name,
Integer $length,
$recreate_after = null,
Boolean $selinux = false,
$owner = 'root',
$group = 0,
) {
$tmpfile = "${dirname($path)}/.puppet-${basename($path)}"
@digitalresistor
digitalresistor / mysql-server-multi
Created April 2, 2014 00:21
Sometimes there is a requirement to run multiple different MySQL servers on the same FreeBSD host, this makes it possible to create profiles to run different MySQL servers with different database paths/settings.
#!/bin/sh
#
# PROVIDE: mysql
# REQUIRE: LOGIN
# KEYWORD: shutdown
#
# Add the following lines to /etc/rc.conf to enable mysqlmulti:
#
# mysqlmulti_enable (bool): Set it to "YES" to enable uwsgi
# Default is "NO".