Skip to content

Instantly share code, notes, and snippets.

View pablo384's full-sized avatar

Pablo Reinoso pablo384

View GitHub Profile
// Duplicate classes on android, build fails
//Solve dependenci conflict.
//writhe this in app.gradle file in app/App_Resources/Android
configurations {
compile.exclude group: ''
pablo384 / gist:7810636722f2aff280e9064ab3c794f5
Created July 9, 2020 23:22 — forked from dsci/gist:1347672
Delete commits from repository.
# First, check out the commit you wish to go back to (get sha-1 from git log)
git reset --hard 9d3c3a0caa7f7b35ef15adb96fc80fcbb59ac72a
# Then do a forced update.
git push origin +9d3c3a0caa7f7b35ef15adb96fc80fcbb59ac72a^:develop
# Push specific commit
git push origin 9d3c3a0caa7f7b35ef15adb96fc80fcbb59ac72a:develop -f
pablo384 /
Created February 18, 2020 15:36
Delete all docker images ans Containers except one
docker image rm -f $(docker images -a | grep -v "qtcustom" | awk 'NR>1 {print $3}')
docker rm $(docker ps -a | grep -v "my_docker" | awk 'NR>1 {print $1}')
QEventLoop loop;
connect(this, &SomeObject::someSignal, &loop, &QEventLoop::quit);
// here you can send your own message to signal the start of wait,
// start a thread, for example.
loop.exec(); //exec will delay execution until the signal has arrived
pablo384 /
Created January 22, 2020 18:24 — forked from mobilemind/
how to delete a git tag locally and remote
# delete local tag '12345'
git tag -d 12345
# delete remote tag '12345' (eg, GitHub version too)
git push origin :refs/tags/12345
# alternative approach
git push --delete origin tagName
git tag -d tagName
pablo384 /
Created November 8, 2019 15:30 — forked from kjantzer/
Get Previous Git Tag (the one before the latest tag)
git describe --abbrev=0 --tags `git rev-list --tags --skip=1 --max-count=1`