Author Archive

[wordpress] using the old-style editor

October 16, 2016 Leave a comment

Problem introduced a while ago a new-style editor for writing posts. However, I really hate it, it’s unusable. How to get back to the old-style editor?

Transforming the URL you can get back to the old-style editor. For instance:

new style:
old style:

Let’s automate the task with Python:

#!/usr/bin/env python3
# coding: utf-8

import readline
import webbrowser

def main():
    url = input("New style URL: ")
    parts = url.split("/")
    new = "{0}//{1}/wp-admin/post.php?post={2}&action=edit".format(
        parts[0], parts[4], parts[-1]
    print("New style:", new)


if __name__ == "__main__":


New-style shit.

New-style shit.

Old-style goodie.

Old-style goodie.

Firefox: sync add-ons on your machines

October 13, 2016 Leave a comment

I knew that Firefox could do synchronization with multiple machines but I never tried it. It changed today. I got fed up with the manual sync so I looked after it and found this nice description of the process: . For this you need a free Firefox account.

Categories: firefox Tags: ,

A nice JUnit tutorial

October 10, 2016 Leave a comment

I started to use Java again (I haven’t touched it for 5 years…) and I found a very nice JUnit tutorial. Here it is: .


  • MoreUnit, install this plug-in if you use JUnit
  • EclEmma, a free Java code coverage tool for Eclipse
Categories: java Tags: , , ,

Firefox shortcuts

October 4, 2016 Leave a comment

List of Firefox shortcuts: .


  • Re-open closed tab: Ctrl + Shift + T
Categories: firefox Tags:

Dropbox: .html files in your Public folder are no longer rendered in the browser

October 4, 2016 Leave a comment

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 And that’s what I did :) In an hour the migration was done. Here is the result:

Congratulations, Dropbox, you managed to kill one of your most attractive features…

Categories: Uncategorized Tags: , ,

How to speed up Firefox

October 3, 2016 1 comment

I love Firefox but I suffered a lot recently because of its slowness. It ate up my CPU and thus it became very slow. I even started to use Chrome parallely with some sites where Firefox was very slow. Strangely, Chrome was much faster on certain sites. How to speed up my Firefox?

It turned out that it became slow because of one (or more) add-on(s). The best way to speed up your Firefox is to disable ALL your add-ons. Now I’m enabling just some add-ons that I really need, but I do it one by one, and monitor Firefox if it’s still fast or not.

With my add-ons disabled Firefox has become very fast, like Chrome. I should have done it much earlier…

Steps to follow: .

Categories: firefox

Create a Windows installer USB stick from an ISO under Linux

September 30, 2016 Leave a comment

I decided to try Windows 10 and install it on a laptop of mine (worry not, it’ll be dual boot :)). Having an ISO, how to put it on a USB stick? In addition, Windows should install itself from the stick…

The software winusb did the job. Its usage is clear and simple:

$ winusb
Warning: you should run this script as root !
Error: No install method specified !

winusb usage
Install a windows ISO on an NTFS partition and edit MBR of the device
  winusb --install <iso path> <partition>
  Example: winusb win7_amd64.iso /dev/sdd1

Completely format a drive and install the ISO on it
  winusb --format <iso path> <device>
  Example: winusb win7_amd64.iso /dev/sdd

 --verbose, -v        Verbose mode
 --help, -h           Show this help message and exit
 --noColor            Disable color

I had an empty USB stick with an NTFS partition, so I chose the “--install” method. The preparation of the USB stick is long, it took 15 minutes. Sometimes I had the impression that it got frozen but then it continued. So don’t worry, give it some time to finish.

Tip from here.

Categories: linux, windows, windows 10