Skip to content

Instantly share code, notes, and snippets.

{ config, pkgs, ... }:
{
environment.systemPackages = with pkgs; [
solvespace
];
users.users.user = {
uid = 1000;
isNormalUser = true;
@orivej
orivej / java
Last active January 9, 2018 17:58
"java -jar mplay.jar" alternative for The Inner World
#!/usr/bin/env bash
# The Inner World runs:
# java -jar mplay.jar media/movies/MOV_000.m4v media/Audio/MOV/MOV_000_EN.mp3 media/Data/Subtitles/MOV_000_EN.srt
# To replace "java" with "mpv", save this script as "java" near "TheInnerWorld.jar" and run
# chmod +x java
# PATH=$(pwd):$PATH $(which java) -jar TheInnerWorld.jar
v="$3" a="$4" s="$5"
exec mpv -fs "$v" --audio-file "$a" --sub-file "$s"
@orivej
orivej / sol.patch
Created November 27, 2020 11:11
osrm sol c++17 patch
--- a/third_party/sol2/sol2/sol.hpp
+++ b/third_party/sol2/sol2/sol.hpp
@@ -7487,10 +7487,87 @@ namespace sol {
template <typename R, typename O, typename... Args>
struct wrapper<R(O:: *)(Args..., ...) const volatile &&> : public member_function_wrapper<R(O:: *)(Args..., ...) const volatile &, R, O, Args...> {
};
+#ifdef __cpp_noexcept_function_type
+ template <typename R, typename O, typename... Args>