├── .gitignore ├── .gitmodules ├── Makefile ├── directions.md ├── git-to-github-io ├── git-to-github-io.html ├── git-to-github-io.php ├── git-to-github-io.php.html ├── howto.md ├── index.html ├── markdown.css └── readme.md /.gitignore: -------------------------------------------------------------------------------- 1 | *~ 2 | -------------------------------------------------------------------------------- /.gitmodules: -------------------------------------------------------------------------------- 1 | [submodule "slp"] 2 | path = slp 3 | url = https://github.com/aaronbloomfield/slp.git 4 | [submodule "dada"] 5 | path = dada 6 | url = https://github.com/aaronbloomfield/dada.git 7 | [submodule "hspc"] 8 | path = hspc 9 | url = https://github.com/aaronbloomfield/hspc.git 10 | [submodule "pdr"] 11 | path = pdr 12 | url = https://github.com/uva-cs/pdr 13 | [submodule "ccc"] 14 | path = ccc 15 | url = http://github.com/aaronbloomfield/ccc 16 | [submodule "nws"] 17 | path = nws 18 | url = https://github.com/aaronbloomfield/nws 19 | -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- 1 | doc: 2 | pandoc -s --metadata pagetitle="aaron bloomfield @ github.io" -f markdown -c markdown.css -t html -o index.html readme.md 3 | source-highlight -d git-to-github-io 4 | source-highlight -d git-to-github-io.php 5 | -------------------------------------------------------------------------------- /directions.md: -------------------------------------------------------------------------------- 1 | 2 | 3 | To deploy the auto-updater: 4 | 5 | - clone github.io repo: `git clone git@github.com-github-io:aaronbloomfield/aaronbloomfield.github.io github.io` 6 | - in that dir, run: `git submodule update --init 7 | - then run: `git submodule update --init` 8 | - many (most?) will fail -- for each sub-module you have to go in and checkout the correct branch 9 | - -------------------------------------------------------------------------------- /git-to-github-io: -------------------------------------------------------------------------------- 1 | #!/bin/bash 2 | 3 | # this code adapted from 4 | # http://stackoverflow.com/questions/1811730/how-do-you-work-with-a-git-repository-within-another-repository 5 | 6 | # set my home directory 7 | export HOME=/home/aaron 8 | 9 | # where the github.io repo is cloned to 10 | cd /home/aaron/git/github.io/ 11 | 12 | # set some git settings, since they may not be inherited 13 | git config user.email "aaron@virginia.edu" 14 | git config user.name "Aaron Bloomfield" 15 | git config push.default simple 16 | 17 | # pull the github.io repo 18 | echo Pulling github.io... 19 | git pull 20 | /bin/echo 21 | 22 | # update each submodule 23 | echo Updating all the submodules... 24 | git submodule update --recursive --remote 25 | /bin/echo 26 | 27 | # commit any changes 28 | echo Commiting changes to the github.io repo... 29 | git commit -a -m"Automated propagation of changes from a submodule to my github.io page" 30 | /bin/echo 31 | 32 | # push the updated github.io repo 33 | echo Pushing changes to github... 34 | git push 35 | /bin/echo 36 | 37 | echo "All done!" 38 | -------------------------------------------------------------------------------- /git-to-github-io.html: -------------------------------------------------------------------------------- 1 | 2 | 3 |
4 | 5 | 9 |#!/bin/bash 13 | 14 | # this code adapted from 15 | # http://stackoverflow.com/questions/1811730/how-do-you-work-with-a-git-repository-within-another-repository 16 | 17 | # set my home directory 18 | export HOME=/home/aaron 19 | 20 | # where the github.io repo is cloned to 21 | cd /home/aaron/git/github.io/ 22 | 23 | # set some git settings, since they may not be inherited 24 | git config user.email "aaron@virginia.edu" 25 | git config user.name "Aaron Bloomfield" 26 | git config push.default simple 27 | 28 | # pull the github.io repo 29 | echo Pulling github.io... 30 | git pull 31 | /bin/echo 32 | 33 | # update each submodule 34 | echo Updating all the submodules... 35 | git submodule update --recursive --remote 36 | /bin/echo 37 | 38 | # commit any changes 39 | echo Commiting changes to the github.io repo... 40 | git commit -a -m"Automated propagation of changes from a submodule to my github.io page" 41 | /bin/echo 42 | 43 | # push the updated github.io repo 44 | echo Pushing changes to github... 45 | git push 46 | /bin/echo 47 | 48 | echo "All done!" 49 |50 | 51 | 52 | -------------------------------------------------------------------------------- /git-to-github-io.php: -------------------------------------------------------------------------------- 1 | "; 4 | system ("/home/aaron/git/git-to-github-io"); 5 | echo ""; 6 | ?> 7 | -------------------------------------------------------------------------------- /git-to-github-io.php.html: -------------------------------------------------------------------------------- 1 | 2 | 3 | 4 | 5 | 9 |
<?php 13 | # this script just calls the git-to-github shell script, and dispalys the output 14 | echo "<pre>"; 15 | system ("/home/aaron/git/git-to-github-io"); 16 | echo "</pre>"; 17 | ?> 18 |19 | 20 | 21 | -------------------------------------------------------------------------------- /howto.md: -------------------------------------------------------------------------------- 1 | Note to self: to add a sub-module: 2 | 3 | - the git command: `git submodule add https://github.com/aaronbloomfield/ccc`; you have to use the https:// url, not git@github.com 4 | - edit readme.md then run `make` 5 | - commit and push changes 6 | -------------------------------------------------------------------------------- /index.html: -------------------------------------------------------------------------------- 1 | 2 | 3 | 4 | 5 | 6 | 7 |
I am a Professor of Computer Science at the University of Virginia (view my home page). This site contains web pages for my various course repositories available online. Note that some are outdated, while others are current. Most of the sites lined to below are released under a Creative Commons Attribution-ShareAlike 4.0 International License (CC BY-SA), but check each individual site’s license for complete details.
21 |Currently updated sites:
22 |Sites not being currently updated:
28 |