Skip to content

Instantly share code, notes, and snippets.

View nickboldt's full-sized avatar

Nick Boldt nickboldt

32 followers · 10 following
View GitHub Profile
@nickboldt
nickboldt / Dockerfile
Last active February 8, 2020 23:06 — forked from svor/Dockerfile
# Copyright (c) 2018-2020 Red Hat, Inc.
# This program and the accompanying materials are made
# available under the terms of the Eclipse Public License 2.0
# which is available at https://www.eclipse.org/legal/epl-2.0/
#
# SPDX-License-Identifier: EPL-2.0
#
# Contributors:
# Red Hat, Inc. - initial API and implementation
#
@nickboldt
nickboldt / move_jee_features_to_ws.sh
Last active January 18, 2018 22:43 — forked from robstryker/move_jee_features_to_ws.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
@nickboldt
nickboldt / move_features_to_ws_and_merge_ws_repos
Last active January 18, 2018 22:47 — forked from robstryker/move_features_to_ws_and_merge_ws_repos
#!/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
@nickboldt
nickboldt / merge_jsf.sh
Last active December 14, 2017 16:47 — forked from robstryker/merge_jsf.sh
#!/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}
@nickboldt
nickboldt / merge_jee_ejb.sh
Last active December 12, 2017 17:50 — forked from robstryker/merge_jee_ejb.sh
merge jee and ejb repos (3) into one repo, then apply patches
#!/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
@nickboldt
nickboldt / webtools.merge.sourceediting.sh
Last active October 26, 2017 17:34 — forked from robstryker/gist:054b9f2315a9bddd0ca76acebbd44610
#!/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
tmpdir=~/tmp/${0/.sh/.tmp}
#rm -fr ${tmpdir}
mkdir -p ${tmpdir}
@nickboldt
nickboldt / spotify.install.sh
Last active May 6, 2017 14:52 — forked from olejon/Install Spotify 0.9 on Fedora 64-bit
Install Spotify (v1.0) on RHEL7 or Fedora 24 64-bit
# START GUIDE
# Make sure you copy the whole lines into Terminal. Each command is on one line.
# Open Terminal and become root
sudo su
# Enable necessary EPEL and RPMFusion repos from https://rpmfusion.org/Configuration if you haven't already
# then update
yum update