start new:
tmux
start new with session name:
tmux new -s myname
#!/bin/sh | |
### | |
# SOME COMMANDS WILL NOT WORK ON macOS (Sierra or newer) | |
# For Sierra or newer, see https://github.com/mathiasbynens/dotfiles/blob/master/.macos | |
### | |
# Alot of these configs have been taken from the various places | |
# on the web, most from here | |
# https://github.com/mathiasbynens/dotfiles/blob/5b3c8418ed42d93af2e647dc9d122f25cc034871/.osx |
/usr/bin/plutil -convert xml1 -o - ~/Library/Safari/Bookmarks.plist | grep -E -o '<string>http[s]{0,1}://.*</string>' | grep -v icloud | sed -E 's/<\/{0,1}string>//g' |
<?php | |
/* | |
Plugin Name: Image Optimizer | |
Plugin URI: | |
Description: Automatically optimizes images using jpegtran and optipng on upload | |
Version: 0.1 | |
Author: Scott Walkinshaw | |
Author URI: | |
Support URI: | |
*/ |
/* | |
* I add this to html files generated with pandoc. | |
*/ | |
html { | |
font-size: 100%; | |
overflow-y: scroll; | |
-webkit-text-size-adjust: 100%; | |
-ms-text-size-adjust: 100%; | |
} |
#!/bin/bash | |
# Sometimes you need to move your existing git repository | |
# to a new remote repository (/new remote origin). | |
# Here are a simple and quick steps that does exactly this. | |
# | |
# Let's assume we call "old repo" the repository you wish | |
# to move, and "new repo" the one you wish to move to. | |
# | |
### Step 1. Make sure you have a local copy of all "old repo" | |
### branches and tags. |
Instructions for setting up a git server on a Synology NAS with Diskstation. Specifically, I am using a DS414 with DSM 5.0.
gituser
via Diskstation interface (with File Station and WebDAV privilages)git
(located at /volume1/git
) with read/write access for gituser
and admin
. This folder will hold all the repos.var root = app.activeDocument; | |
var result = getStyleByString(root, "Formatgruppe 2:Form\\:atgruppe 1:Zeichen\\:\\:format 1", "characterStyles", true); | |
$.writeln(result.name); | |
function getStyleByString(root, string, property, recreate) { | |
if (recreate == undefined) recreate = false; | |
stringResult = string.match (/^(.*?[^\\]):(.*)$/); | |
var cStyleName = (stringResult) ? stringResult[1] : string; | |
cStyleName = cStyleName.replace(/\\:/g, ":"); |