Skip to content

Instantly share code, notes, and snippets.

@danekja
danekja / repositorydeploy.py
Created December 30, 2016 10:56
Script for bulk deploy of a local Maven repository into a remote one.
"""
Deploys local maven repository to a remote one.
Requires python 3.x and Maven 3.2.x and higher (lower versions of Maven might work in certain setups,
but have issues with SNI).
"""
import os
import os.path as p
import subprocess as subp
class A {
int i;
public A(int i) {
this.i = i;
}
}
A a = new A(4);
processing = no
work = () ->
processing = yes
doSomeWork (e) ->
processing = no
if not processing
work()
else