Skip to content

Commit 43cdafe

Browse files
committedJul 14, 2019
Add formal methods, datacenter and traffic engineering papers.
1 parent 8fa374e commit 43cdafe

File tree

71 files changed

+25
-1
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

71 files changed

+25
-1
lines changed
 

‎add-article

Lines changed: 24 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,24 @@
1+
#!/bin/bash
2+
set -ex
3+
4+
function main() {
5+
if [[ "$#" -ne 3 ]]; then
6+
echo "Usage add-article article-name link-to-article repo"
7+
exit 1
8+
fi
9+
local articleName=$1
10+
local articleLink=$2
11+
local articleRepo=$3
12+
13+
if ! [[ -d "${articleRepo}" ]]; then
14+
echo "Repo ${articleRepo} does not exist."
15+
exit 1
16+
fi
17+
18+
local articlePath="${PWD}/${articleRepo}/articles/${articleName}.pdf"
19+
curl "${articleLink}" -o "${articlePath}"
20+
echo "${articleLink} downloaded to ${articlePath}"
21+
22+
}
23+
24+
main "$@"

0 commit comments

Comments
 (0)