I hereby claim:
- I am victorskl on github.
- I am victorskl (https://keybase.io/victorskl) on keybase.
- I have a public key ASAa8b04q11oBeTYO5kjwJCaYa5ufMCI83dfQIRrYKWXWAo
To claim this, I am signing this object:
I hereby claim:
To claim this, I am signing this object:
{ | |
"Version": "2012-10-17", | |
"Statement": [ | |
{ | |
"Action": "sts:AssumeRole", | |
"Principal": { | |
"Service": "ec2.amazonaws.com" | |
}, | |
"Effect": "Allow", | |
"Sid": "" |
// Hello World MPI C program from Lecture 3, slide 31 | |
#include <stdio.h> | |
#include <mpi.h> | |
int main(argc, argv) | |
int argc; | |
char *argv[]; | |
{ | |
int rank, size; |
#!/usr/bin/env bash | |
# NOTE: invoke this from MacOS host | |
# REF https://github.com/AURIN/comp90024/tree/master/couchdb | |
# Cluster setup | |
# Pull Docker image | |
docker pull couchdb:2.1.1 |
cd | |
echo "set background=dark" >> .vimrc | |
vi .bashrc | |
LS_COLORS='rs=0:di=1;35:ln=01;36:mh=00:pi=40;33:so=01;35:do=01;35:bd=40;33;01:cd=40;33;01:or=40;31;01:su=37;41:sg=30;43:ca=30;41:tw=30;42:ow=34;42:st=37;44:ex=01;32:*.tar=01;31:*.tgz=01;31:*.arj=01;31:*.taz=01;31:*.lzh=01;31:*.lzma=01;31:*.tlz=01;31:*.txz=01;31:*.zip=01;31:*.z=01;31:*.Z=01;31:*.dz=01;31:*.gz=01;31:*.lz=01;31:*.xz=01;31:*.bz2=01;31:*.bz=01;31:*.tbz=01;31:*.tbz2=01;31:*.tz=01;31:*.deb=01;31:*.rpm=01;31:*.jar=01;31:*.war=01;31:*.ear=01;31:*.sar=01;31:*.rar=01;31:*.ace=01;31:*.zoo=01;31:*.cpio=01;31:*.7z=01;31:*.rz=01;31:*.jpg=01;35:*.jpeg=01;35:*.gif=01;35:*.bmp=01;35:*.pbm=01;35:*.pgm=01;35:*.ppm=01;35:*.tga=01;35:*.xbm=01;35:*.xpm=01;35:*.tif=01;35:*.tiff=01;35:*.png=01;35:*.svg=01;35:*.svgz=01;35:*.mng=01;35:*.pcx=01;35:*.mov=01;35:*.mpg=01;35:*.mpeg=01;35:*.m2v=01;35:*.mkv=01;35:*.webm=01;35:*.ogm=01;35:*.mp4=01;35:*.m4v=01;35:*.mp4v=01;35:*.vob=01;35:*.qt=01;35:*.nuv=01;35:*.wmv=01;35:*.asf=01;35:*.rm=01;35:*.rmvb=01;35:*.flc=01;35:*.avi=01 |
System.out.println(request.getMethod() + " : " + request.getRequestedSessionId()); | |
Enumeration headerNames = request.getHeaderNames(); | |
while (headerNames.hasMoreElements()) { | |
String headerName = (String) headerNames.nextElement(); | |
Enumeration headerValues = request.getHeaders(headerName); | |
while (headerValues.hasMoreElements()) { | |
String headerValue = (String) headerValues.nextElement(); | |
System.out.println("\t" + headerName + " : " + headerValue); | |
} |
<?xml version="1.0"?><!DOCTYPE fontconfig SYSTEM "fonts.dtd"> | |
<fontconfig> | |
<match target="font"> | |
<edit mode="assign" name="rgba"> | |
<const>rgb</const> | |
</edit> | |
</match> | |
<match target="font"> | |
<edit mode="assign" name="hinting"> | |
<bool>true</bool> |
/* | |
Making Mediawiki SpecialPages only viewable by admin. | |
Copy and paste this to end of LocalSettings.php | |
*/ | |
function disableSomeSpecialPages(&$list) { | |
global $wgUser; | |
if(!$wgUser->isAllowed('editinterface')) { | |
//remove some | |
#unset($list['Version']); |