On Linux, to enable the 'Download' button on the micro:bit to work, the following steps are needed:
50-microbit.rules
containing, all on one line, the following:
SUBSYSTEM=="usb", ATTR{idVendor}=="0d28", MODE="0664", GROUP="plugdev"
In principle there is a step which comes between 3 and 4 above. This is to ensure that the admin of the machine - the one who will use the microbit - is a member of the group plugdev. However, in practice, I have found that this is always true on Ubuntu. The command 'groups' shows the groups that the currently logged in user belongs to so can be used to check that it is the case.