Skip to content

Instantly share code, notes, and snippets.

#!/bin/bash -xe
START_TIME=`date +%s`
# work in a tempdir. The tmp-dir name is something like /home/user/tmp/this_scripts_name/
tmpdir=~/tmp/${0/.sh/.tmp}
tmpdirCache=~/tmp/${0/.sh/.tmp}_cache
#rm -fr ${tmpdir}
mkdir -p ${tmpdir}
#!/bin/bash -xe
# see also https://gist.github.com/nickboldt/6afc71826e82518c5e7b7d3c3fdcc4f3
# merge sse repos into a single repo
START_TIME=`date +%s`
# work in a tempdir. The tmp-dir name is something like /home/user/tmp/this_scripts_name/
tmpdir=~/tmp/${0/.sh/.tmp}
tmpdirCache=~/tmp/${0/.sh/.tmp}_cache
@robstryker
robstryker / merge_missing_infopop.sh
Created November 22, 2017 22:53
merge_missing_infopop.sh
#!/bin/bash -xe
# see also https://gist.github.com/nickboldt/6afc71826e82518c5e7b7d3c3fdcc4f3
# merge sse repos into a single repo
START_TIME=`date +%s`
# work in a tempdir. The tmp-dir name is something like /home/user/tmp/this_scripts_name/
tmpdir=~/tmp/${0/.sh/.tmp}
tmpdirCache=~/tmp/${0/.sh/.tmp}_cache
#!/bin/bash -xe
# see also https://gist.github.com/nickboldt/6afc71826e82518c5e7b7d3c3fdcc4f3
# merge sse repos into a single repo
START_TIME=`date +%s`
# work in a tempdir. The tmp-dir name is something like /home/user/tmp/this_scripts_name/
tmpdir=~/tmp/${0/.sh/.tmp}
tmpdirCache=~/tmp/${0/.sh/.tmp}_cache
import java.io.IOException;
import java.util.Collections;
import javax.security.auth.callback.Callback;
import javax.security.auth.callback.CallbackHandler;
import javax.security.auth.callback.NameCallback;
import javax.security.auth.callback.PasswordCallback;
import javax.security.auth.callback.UnsupportedCallbackException;
import javax.security.sasl.RealmCallback;
#!/bin/bash
#
# move org.eclipse.jst.common.ui plugin into javaee
START_TIME=`date +%s`
# in case we have another alias for mv, like 'mv -i'
alias mv=mv
#!/bin/bash
#
# move org.eclipse.jst.common.ui plugin into javaee
START_TIME=`date +%s`
# in case we have another alias for mv, like 'mv -i'
alias mv=mv
Tier 1: common / server
# Common still deps on javaee and server...
# we need a small api change in common's extension pt to use facet IRuntime
# instead of server IRuntime (which javaee will need to adjust to)
# and also need to move 1 plugin either from jeetools to common or from common to jeetools
common -> javaee, server
server -> common (OK)
@robstryker
robstryker / webtools.merge.servertools.sh
Last active October 5, 2017 20:01 — forked from nickboldt/webtools.merge.servertools.sh
merge webtools.servertools repos
#!/bin/bash
#
# merge servertools repos into a single repo
# based on https://paste.fedoraproject.org/paste/0tnkOZ4N0kP5AKLul2HLnA/raw
START_TIME=`date +%s`
# in case we have another alias for mv, like 'mv -i'
alias mv=mv
@robstryker
robstryker / gist:2aeec38f3c70f674c606d33a51e7eb99
Created May 10, 2017 23:44
Better script for shallow (master-only) merge of wtp repos.
START_TIME=`date +%s`
# set our local pull command depending on git version
verlte() {
[ "$1" = "`echo -e "$1\n$2" | sort -V | head -n1`" ]
}
verlt() {
[ "$1" = "$2" ] && return 1 || verlte $1 $2