This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
# This takes an html, looks for script and stylesheet tags, | |
# download them (when necessary) and then | |
import sys, re, os | |
from collections import deque | |
from bs4 import BeautifulSoup, Tag | |
from jsmin import jsmin | |
from cssmin import cssmin | |
from urllib.parse import urlparse | |
import requests |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
# License is GPLv2+ | |
#!/usr/bin/env Rscript | |
library(statcheck) | |
library(stringr) | |
args <- commandArgs(trailingOnly=TRUE) | |
if (length(args)==0) { | |
stop("Usage: statcheck-cli filename.txt", call.=FALSE) | |
} else if (length(args)==1) { |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
#!/usr/bin/env bash | |
n=$(pwd) | |
# The folder must be named always the same way | |
# Since the path is included in the .ji files | |
d=/tmp/my-julia-tmp-dir | |
mkdir -p $d | |
cd $d | |
HOME=$(realpath .) \julia --startup-file=no -q --depwarn=no -e 'using Pkg; Pkg.add("Lazy"); using Lazy' |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
;;; org-chef-giallozafferano.el --- org-chef giallozafferano fetching. -*- lexical-binding: t; -*- | |
;; Copyright (C) 2018 Nicolò Balzarotti | |
;; Author: Nicolò Balzarotti <nicolo@nixo.xyz> | |
;; URL: https://github.com/Chobbes/org-chef | |
;; Created: 2018 | |
;; Copyright 2018 Nicolò Balzarotti |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
wd='julia-nix-workdir' | |
mkdir -p $wd | |
cd $wd | |
git clone --depth=1 git@github.com:JuliaLang/METADATA.jl.git | |
while read url; do | |
git clone --depth=1 $url | |
done < $(find ./METADATA.jl/ -name url -exec cat '{}' \; -exec echo \; |sort -u) |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
;; [[elfeed:pragmaticemacs.com#http://pragmaticemacs.com/?p=752][A workflow to quickly add photos to org-mode notes]] | |
;; use case is taking a photo of a slide in a conference and uploading | |
;; it to syncthing and get it on your computer. You then want to embed | |
;; it in an org-mode document by moving it to the subfolder and | |
;; renaming according to the current section of the org file, avoiding | |
;; name clashes | |
;; required libraries | |
(require 'dash) | |
(require 'swiper) |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
with import <nixpkgs> {}; | |
{ | |
repositoryName = stdenv.mkDerivation { | |
name = "repositoryName"; | |
buildInputs = [ | |
julia_05 # works with julia (v0.4) too | |
# Any other dependency you need | |
]; | |
SSL_CERT_FILE="/etc/ssl/certs/ca-certificates.crt"; |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Thread 1 "26-video" received signal SIGSEGV, Segmentation fault. | |
0x000000000051d690 in OpenAL_AudioInterface::update(float) () | |
(gdb) bt full | |
#0 0x000000000051d690 in OpenAL_AudioInterface::update(float) () | |
No symbol table info available. | |
#1 0x00000000005200e6 in TheoraVideoManager::update(float) () | |
No symbol table info available. | |
#2 0x00000000004b73d7 in chai3d::cVideo::update() () | |
No symbol table info available. | |
#3 0x00000000004b749f in chai3d::cVideo::getCurrentFramePointer(chai3d::cImage&) () |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
with import <nixpkgs> {}; { | |
env = stdenv.mkDerivation { | |
name = "0.5"; | |
buildInputs = [ | |
julia-git | |
]; | |
shellHook = '' | |
unset http_proxy | |
export SSL_CERT_FILE=/etc/ssl/certs/ca-bundle.crt |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
if (GAZEBO_CONFIG_INCLUDED) | |
return() | |
endif() | |
set(GAZEBO_CONFIG_INCLUDED TRUE) | |
set(GAZEBO_VERSION 7.0) | |
set(GAZEBO_MAJOR_VERSION 7) | |
set(GAZEBO_PLUGIN_PATH "/nix/store/azqhm87lhpm487459ijna60hih184pfy-gazebo-7.0.0//nix/store/azqhm87lhpm487459ijna60hih184pfy-gazebo-7.0.0/lib/gazebo-7/plugins") | |
# The media path contains the location on disk where images, |
NewerOlder