-
git stash
保存当前的工作进度。会分别对暂存区和工作区的状态进行保存
-
git stash save "message..."
这条命令实际上是第一条 git stash
命令的完整版
@Grab(group='io.jsonwebtoken', module='jjwt', version='0.4') | |
import sun.net.www.protocol.https.HttpsURLConnectionImpl | |
import java.text.SimpleDateFormat | |
import java.lang.reflect.* | |
import java.util.* | |
import java.nio.charset.StandardCharsets | |
import java.io.* | |
import javax.crypto.KeyGenerator | |
import java.security.* | |
import groovy.json.* |
$ ls /opt/sonatype/sonatype-work/nexus3/db/ | |
OSystem accesslog analytics audit component config model.properties security | |
$ docker-compose exec nexus java -jar ./lib/support/nexus-orient-console.jar | |
CONNECT PLOCAL:/opt/sonatype/sonatype-work/nexus3/db/component admin admin | |
REBUILD INDEX * | |
REPAIR DATABASE --fix-graph | |
REPAIR DATABASE --fix-links | |
REPAIR DATABASE --fix-ridbags |
I was curious about making retro gaming sounds using Sonic Pi. A couple of months and a lot of Googling later, here's the original Mario Bros theme as it was heard on the NES console.
I'm (just about) old enough to remember rushing home from school to play this game at Philip Boucher's house, sitting cross-legged in front of the TV till my feet got pins and needles. Working out how to recreate it for Sonic Pi was a lot of fun!
# 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 |
#!/usr/bin/env/python | |
# | |
# More of a reference of using jinaj2 without actual template files. | |
# This is great for a simple output transformation to standard out. | |
# | |
# Of course you will need to "sudo pip install jinja2" first! | |
# | |
# I like to refer to the following to remember how to use jinja2 :) | |
# http://jinja.pocoo.org/docs/templates/ | |
# |