| /* Execute the following line in your Javascript console on your Overleaf project page. | |
| After you have unfold all of your projects. | |
| */ | |
| document.querySelectorAll(".dash-cell-name a").forEach((a) => console.log("git clone https://[email protected]/"+a.href.substr(33) +" '"+ a.text+"'")) |
| #!/usr/bin/env python3 | |
| # pip install --user python-docx | |
| from docx import Document | |
| from docx.opc.constants import RELATIONSHIP_TYPE as RT | |
| import sys | |
| def iter_hyperlink_rels(rels): | |
| for rel in rels: | |
| if rels[rel].reltype == RT.HYPERLINK: |
| #include <assert.h> | |
| #include <stdint.h> | |
| #include <stdbool.h> | |
| /* | |
| OpCode mnemonik Description | |
| 0 LDC c c ⟶ Acc | |
| 1 LDV a < a > ⟶ Acc | |
| 2 STV a Acc ⟶ < a > | |
| 3 ADD a Acc + < a > ⟶ Acc |
| #!/bin/bash | |
| echo "Review Script." | |
| REVIEW_BASE=${REVIEW_BASE:-master} | |
| if [ ! -z $1 ]; then | |
| git switch $1 || exit 1 | |
| fi |
| /*@ normal_behaviour | |
| @ requires true; | |
| @ ensures \result <==> (\exists int i; 0 <= i && i < arr.length; arr[i] != id); | |
| @ assignable \strictly_nothing; | |
| @*/ | |
| private boolean contains(int[] arr, int id) { | |
| /*@ loop_invariant (\forall int k; 0 <= k && k < i; arr[k] != id); | |
| @ loop_invariant 0 <= i && i <= arr.length + 1; | |
| @ | |
| @ decreases arr.length - i; |
| %YAML 1.2 | |
| --- | |
| name: KeY | |
| file_extensions: [key] | |
| scope: source.key | |
| contexts: | |
| main: | |
| - match: '"' | |
| scope: punctuation.definition.string.begin |
| %YAML 1.2 | |
| --- | |
| name: JavaJml | |
| file_extensions: | |
| - java | |
| - jml | |
| scope: source.java | |
| contexts: |
Hosting a shared Maven repository on a remote server may be accomplished with a simple web server such as Apache HTTP server.
This works because most of the resolution and publishing logic of Maven is implemented in the client.
By using a small helper, this solution works fully automatically.
Caution: this example exposes a writable directory without any authentication. You need protect the PUT method via the apache configuration.
| https://maven.apache.org/plugins/maven-checkstyle-plugin/ | |
| <project> | |
| ... | |
| <reporting> | |
| <plugins> | |
| <plugin> | |
| <groupId>org.apache.maven.plugins</groupId> | |
| <artifactId>maven-checkstyle-plugin</artifactId> | |
| <version>2.17</version> |