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
#!/bin/bash.sh | |
# | |
# push a big git repository commit by commit to not run into timeouts | |
# this is for example needed if you have some bigger binary files inside the repository and | |
# run into timeouts while pushing the repo into a new remote url. | |
# | |
# to run this script please ensure that: | |
# 1. you are able to push to your remote url via ssh (without password authentication) | |
# 2. you put this file into the directory above your git repo and open a bash inside your repo's directory | |
# 3. this file is executable, if you are unsure about this run: |
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
#!/bin/bash | |
strindex() { | |
x="${1%%$2*}" | |
[[ "$x" = "$1" ]] && echo -1 || echo "${#x}" | |
} | |
function extractStringBetweenStrings() { | |
# get parameters | |
string="$1" |