In 2013 I wrote a program that allowed the user to put the copy and move file operations in a queue (blog post here).
Under Manjaro I couldn’t install it because the upstream URL was dead at that time. So I downloaded the
task-spooler_1.0.orig.tar.gz file, converted it to deb format with the command alien, and then installed it with dpkg. Under Ubuntu the executable is called
Here is a short video about its usage where I heard about this program for the first time: https://www.youtube.com/watch?v=wv8D8wT20ZY. Some examples with the most important options:
$ ts # show info $ ts cp -r movies /tmp # put this task in the queue $ ts -c ID # show the output of a running task $ ts -C # clear finished tasks
Here is how to use spaces instead of TABs in the Eclipse IDE:
- Click Window -> Preferences.
- Expand Java -> Code Style.
- Click Formatter.
- Click the Edit button.
- Click the Indentation tab.
- Under General Settings, set Tab policy to: Spaces only.
- Click OK to apply the changes.
Tip from here.
Some funny GitHub commits:
What to do if shit happened.
You find an awesome music video and you want to play it in an infinite loop.
You need to re-format the youtube URL a bit. Sample:
Tip from here.
Until now I’ve stored a lot of teaching material in my Dropbox’s Public folder that I shared with my students. Here I had a generated
index.html file in each folder that one could render in the browser. This way, you could have a static HTML site in your Public folder that you could share easily, and any changes to it were synced automatically.
However, Dropbox changed his mind:
“Dropbox Basic (free) users: Beginning October 3, 2016, you can no longer use shared links to render HTML content in a web browser. If you created a website that directly displays HTML content from your Dropbox, it will no longer render in the browser. The HTML content itself will still remain in your Dropbox and can be shared. Learn more.
Dropbox Pro and Business users: Beginning September 1, 2017, you can no longer render HTML content.” (source)
The good times are over :(
I faced this problem this morning and I started to look for an alternative. A friend of mine, Füli, suggested that I should move to github.io. And that’s what I did :) In an hour the migration was done. Here is the result: https://github.com/jabbalaci/teaching-assets.
Congratulations, Dropbox, you managed to kill one of your most attractive features…