🌶️

Ben Donnelly Umaaz

🌶️

Senior Software Engineer at Integral GmbH. Leading the development of Deep.

Umaaz / index.html

Last active September 10, 2026 10:50

nutrient-blank-page-bug

	<!doctype html>
	<html lang="en">
	<head>
	<meta charset="utf-8">
	<title>Nutrient Document Authoring — page 2 never paints</title>
	<style>
	html, body { margin: 0; font: 13px/1.45 system-ui, sans-serif; background: #eee; color: #111; }
	/* The editor goes FIRST and flush to the top. The SDK draws its toolbar and ruler at the top of
	the window whatever its host box does, so anything placed above it gets painted over. */
	#host { width: 1200px; height: 900px; }

Umaaz / install.cs

Last active April 6, 2021 17:43

NerdVision Setup

dotnet add package NerdVision

Umaaz / move-issues-from-jira-to-gitlab.py

Created March 23, 2020 07:42 — forked from florisb/move-issues-from-jira-to-gitlab.py

	import requests
	from requests.auth import HTTPBasicAuth
	import re
	from StringIO import StringIO

	JIRA_URL = 'https://your-jira-url.tld/'
	JIRA_ACCOUNT = ('jira-username', 'jira-password')
	# the JIRA project ID (short)
	JIRA_PROJECT = 'PRO'
	GITLAB_URL = 'http://your-gitlab-url.tld/'

Umaaz / laradock_aliases.sh

Created February 12, 2020 08:26

A set of commands to help with laradock.

	#!/bin/bash

	# REPO_DIR should be the root directory that you want mounted into the docker.
	# I have this script in the root of my laradock clone in ~/repo/laradock, and mount the directory ~/repo into the docker as /var/www/repo
	DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" >/dev/null 2>&1 && pwd )"
	export REPO_DIR="$(dirname $DIR)"

	alias composer='docker exec -it --user=laradock laradock_workspace_1 composer --working-dir=/var/www/${PWD:${#REPO_DIR}}'
	alias php='docker exec -it --workdir=/var/www/${PWD:${#REPO_DIR}} --user=laradock laradock_workspace_1 php'
	alias larastart='docker-compose -f ${REPO_DIR}/laradock/docker-compose.yml --project-directory=${REPO_DIR}/laradock up -d nginx'

Umaaz / gist:1f5d9f0c172f5aa9d25a

Created March 13, 2015 14:00

	for(var j = 0; j < chart.series.length; j++)
	{
	chart.series[j].setData(seriesData[j], false);
	}
	chart.yAxis[0].setExtremes(min, max, false);
	chart.redraw();