Tumblelog by Soup.io
Newer posts are loading.
You are at the newest post.
Click here to check if anything new just came in.

January 24 2012

halcy.de v4: Stallman Box

<halcy> Oh I know what you should make <halcy> WAHa_06x36: Make a STALLMAN BOX <halcy> WAHa_06x36: Like a buddha box except it displays cool saint ignucius effects and it plays the free software song

And then I went and made it myself.

Stallman box

It is, of course, free software. You can find the source code on github. Users of GNU/Linux are assumed to be capable of compiling it themselves (It pretty much works out to “run make”, needs SDL and freeglut and glew). GNU/Linux graphics drivers are usually proprietary and sometimes terribly buggy, so it might or might not work.

For Microsoft Windows, there is a binary version.

Download:

(It requires a relatively new version of OpenGL to actually run, sorry about that)

Some audio and png code taken from WAHa_06x36 - thank you!

January 23 2012

experimentalworks: Removing a directory from a git repository the fast way

Note to myself:
To remove a directory from an existing git repository there are various ways to do it. The obvious way is

$ git filter-branch --tree-filter 'rm -rf directory/'

Which is just fine for smaller repositories but can take a long time on large repositories with a lot of large files in that directory.
The faster way is to manipulate only the index:

git filter-branch --index-filter 'git ls-files -- DIRECTORY | xargs git update-index --remove' --tag-name-filter cat --prune-empty -f -- --all;

  • git ls-files will give you a list of files in the DIRECTORY
  • git update-index will remove those files from the index
  • And the tag filter is there to include tags
  • –prune-empty tells filter-branch to ignore empty commits.

Done.

flattr this!

January 18 2012

:

:

:

:

:

:

:

January 17 2012

:

:

:

:

January 16 2012

:

:

:

:

:

:

:

Older posts are this way If this message doesn't go away, click anywhere on the page to continue loading posts.
Could not load more posts
Maybe Soup is currently being updated? I'll try again automatically in a few seconds...
Just a second, loading more posts...
You've reached the end.