time.google.com
time1.google.com
time2.google.com
time3.google.com
| {"lastUpload":"2020-08-14T06:14:26.397Z","extensionVersion":"v3.4.3"} |
| public static BitSet computePrimes(int limit) | |
| { | |
| final BitSet primes = new BitSet(); | |
| primes.set(0, false); | |
| primes.set(1, false); | |
| primes.set(2, limit, true); | |
| for (int i = 0; i * i < limit; i++) | |
| { | |
| if (primes.get(i)) | |
| { |
| Class BuildTree { | |
| static HashMap<Integer,Node> nodes = new HashMap<Integer,Node>(); | |
| static Node root = null; | |
| static class Node | |
| { | |
| Node right; | |
| Node left; | |
| Node parent; | |
| int num; |
| docker-machine --debug create --driver=vmwareworkstation --vmwareworkstation-disk-size 4000 --vm wareworkstation-ssh-user user123 --vmwareworkstation-ssh-password password123 --vmwareworkstation-memory-size 1536 machine1 |
I used this for migrating git repos from Bitbucket to Github. It uses git's --mirror flag for cloning and pushing to also transfer all tags and branches.
It would be helpful to have SSH keys set up on both ends. Then all you should have to do is to make sure the hardcoded orgname is set to the appropriate one for both the source and destination.
Once I migrated repos, I used this to replace my origin url locally (assumes using ssh):
sed -i s/bitbucket.org:orgname/github.com:orgname/g .git/config
$ sudo apt install tcptraceroute $ sudo wget http://www.vdberg.org/~richard/tcpping -O /usr/bin/tcping $ sudo chmod 755 /usr/bin/tcping
| docker run -d --name flat_container nginx | |
| docker export flat_container > flat.tar | |
| cat flat.tar | docker import - flat:latest | |
| docker image history flat |
| // Filename: HttpServer.cs | |
| // Author: Benjamin N. Summerton <define-private-public> | |
| // License: Unlicense (http://unlicense.org/) | |
| using System; | |
| using System.IO; | |
| using System.Text; | |
| using System.Net; | |
| using System.Threading.Tasks; |