Compare commits
No commits in common. "f373ec2d15c843dfa23501bb2dff3b0f44a4c413" and "d2daab08a111f2e8f24ba22732a5269200e87eab" have entirely different histories.
f373ec2d15
...
d2daab08a1
|
@ -5,6 +5,7 @@
|
||||||
];
|
];
|
||||||
|
|
||||||
boot.loader.grub.enable = true;
|
boot.loader.grub.enable = true;
|
||||||
|
boot.loader.grub.version = 2;
|
||||||
boot.loader.grub.device = "/dev/vda";
|
boot.loader.grub.device = "/dev/vda";
|
||||||
|
|
||||||
networking.hostName = "Emitter";
|
networking.hostName = "Emitter";
|
||||||
|
@ -97,7 +98,6 @@
|
||||||
cat > $out/sbin/burp <<-EOF
|
cat > $out/sbin/burp <<-EOF
|
||||||
#!/${pkgs.bash}/bin/bash
|
#!/${pkgs.bash}/bin/bash
|
||||||
set -e
|
set -e
|
||||||
${pkgs.dig}/bin/nslookup rupert.gvfr.de
|
|
||||||
${pkgs.unixtools.ping}/bin/ping -c1 rupert.gvfr.de >/dev/null
|
${pkgs.unixtools.ping}/bin/ping -c1 rupert.gvfr.de >/dev/null
|
||||||
${pkgs.openssh}/bin/ssh -i /secrets/id_burp_remote -o IdentitiesOnly=yes -o ExitOnForwardFailure=yes -L 4971:localhost:4971 burp-remote@rupert.gvfr.de -f true
|
${pkgs.openssh}/bin/ssh -i /secrets/id_burp_remote -o IdentitiesOnly=yes -o ExitOnForwardFailure=yes -L 4971:localhost:4971 burp-remote@rupert.gvfr.de -f true
|
||||||
$out/sbin/burp-untunneled \$@
|
$out/sbin/burp-untunneled \$@
|
||||||
|
@ -121,7 +121,7 @@
|
||||||
services.statusEmail.enable = true;
|
services.statusEmail.enable = true;
|
||||||
systemd.services.burp-client = let
|
systemd.services.burp-client = let
|
||||||
retryDelay = 10 * 60;
|
retryDelay = 10 * 60;
|
||||||
maxRetries = 5;
|
maxRetries = 3;
|
||||||
in {
|
in {
|
||||||
unitConfig = {
|
unitConfig = {
|
||||||
OnFailure = "status-email@%n.service";
|
OnFailure = "status-email@%n.service";
|
||||||
|
|
|
@ -16,6 +16,9 @@ in
|
||||||
passwordFile = "/secrets/gitea_db_password";
|
passwordFile = "/secrets/gitea_db_password";
|
||||||
createDatabase = false;
|
createDatabase = false;
|
||||||
};
|
};
|
||||||
|
domain = "${domain}";
|
||||||
|
rootUrl = "https://${domain}/";
|
||||||
|
httpPort = 3001;
|
||||||
repositoryRoot = "/data/git/repositories";
|
repositoryRoot = "/data/git/repositories";
|
||||||
lfs = {
|
lfs = {
|
||||||
enable = true;
|
enable = true;
|
||||||
|
@ -27,9 +30,9 @@ in
|
||||||
docutils # Provides rendering of ReStructured Text files
|
docutils # Provides rendering of ReStructured Text files
|
||||||
pygments # Provides syntax highlighting
|
pygments # Provides syntax highlighting
|
||||||
]);
|
]);
|
||||||
nbconvert = pkgs.python310.withPackages (ps: with ps; [
|
nbconvert =
|
||||||
|
pkgs.python310.withPackages (ps: with ps; [
|
||||||
jupyter
|
jupyter
|
||||||
ipykernel
|
|
||||||
nbconvert
|
nbconvert
|
||||||
]);
|
]);
|
||||||
max_cached_jupyter_notebooks = 200;
|
max_cached_jupyter_notebooks = 200;
|
||||||
|
@ -64,12 +67,7 @@ in
|
||||||
'';
|
'';
|
||||||
in
|
in
|
||||||
{
|
{
|
||||||
server = {
|
server.SSH_PORT = lib.head config.services.openssh.ports;
|
||||||
SSH_PORT = lib.head config.services.openssh.ports;
|
|
||||||
ROOT_URL = "https://${domain}/";
|
|
||||||
HTTP_PORT = 3001;
|
|
||||||
DOMAIN = "${domain}";
|
|
||||||
};
|
|
||||||
service.DISABLE_REGISTRATION = true;
|
service.DISABLE_REGISTRATION = true;
|
||||||
session.COOKIE_SECURE = true;
|
session.COOKIE_SECURE = true;
|
||||||
"markup.restructuredtext" = {
|
"markup.restructuredtext" = {
|
||||||
|
@ -81,7 +79,7 @@ in
|
||||||
"markup.jupyter" = {
|
"markup.jupyter" = {
|
||||||
ENABLED = true;
|
ENABLED = true;
|
||||||
FILE_EXTENSIONS = ".ipynb";
|
FILE_EXTENSIONS = ".ipynb";
|
||||||
# RENDER_COMMAND = "\"${nbconvert}/bin/jupyter nbconvert --stdout --to html --template basic \"";
|
#RENDER_COMMAND = "\"${nbconvert}/bin/jupyter nbconvert --stdout --to html --template basic \"";
|
||||||
RENDER_COMMAND = "\"${cached_jupyter_preview} \"";
|
RENDER_COMMAND = "\"${cached_jupyter_preview} \"";
|
||||||
IS_INPUT_FILE = true;
|
IS_INPUT_FILE = true;
|
||||||
# RENDER_CONTENT_MODE = "iframe";
|
# RENDER_CONTENT_MODE = "iframe";
|
||||||
|
|
Loading…
Reference in a new issue