2,716 reputation
11029
bio website lekensteyn.nl
location Netherlands
age 20
visits member for 2 years, 10 months
seen yesterday

Former Kubuntu desktop user, now using Arch Linux. Open-source enthusiast, programmer.

Interests: network protocols, Linux kernel, server administration, Android, breaking & fixing stuff.


1d
comment Is making /var/log directory read only on debian linux safe?
The kernel won't "hang" when it cannot write to /var/log/, otherwise your system would not be able to boot because /var/log/ is not mounted at boot. It is possible that some programs do not start, crash or do not function properly.
Apr
19
comment Combined `mkdir` and `cd`?
Neat, learned something new again!
Apr
18
comment WMI-based hotkeys on not working
let us continue this discussion in chat
Apr
18
comment Combined `mkdir` and `cd`?
@bernard you can move forward and backward in the parameter list. See the manual page of bash.
Apr
18
comment WMI-based hotkeys on not working
Your dmesg should have extra lines, can you check?
Apr
18
comment Mouse not working correctly
For reference, the AU question is here, I'll close that one in favor of this one. Can you reproduce this problem in a Live USB environment?
Apr
18
comment WMI-based hotkeys on not working
Can you edit dell_wmi_prepare_new_keymap and add the following at the end of the loop body: pr_info("%i %08x %04x\n", keymap[i].type, keymap[i].code, keymap[i].keycode);.
Apr
18
comment WMI-based hotkeys on not working
Yeah, I was already afraid that you only get those messages. Are you able to patch the WMI module as I said? You do not need to rebuild the whole kernel, it is sufficient to build with make -C /lib/modules/$(uname -r)/build M=drivers/platform/x86/ modules and insmod drivers/platform/x86/dell-wmi.ko after patching.
Apr
18
answered WMI-based hotkeys on not working
Apr
18
revised Combined `mkdir` and `cd`?
added 292 characters in body
Apr
18
comment Combined `mkdir` and `cd`?
@StephaneChazelas Nice one, I'll update the answer to use !$ instead.
Apr
18
comment WMI-based hotkeys on not working
Can you also post a dmesg containing logs from the boot, and when you press hotkeys? Perhaps it gives me some hints that speed up debugging
Apr
18
comment Combined `mkdir` and `cd`?
@Jasper I seldomly use !:1, but it is an option if you have a path with a non-unique prefix.
Apr
18
answered Combined `mkdir` and `cd`?
Apr
18
comment WMI-based hotkeys on not working
acpidump.txt should contain hexdumps that can be extracted with acpixtract. The DSDT and SSDT tables are relevant, but it is easier to check if you can post the acpidump completely (or post the DSDT and SSDT* dat (or dsl) files to gist.github.com such that it can be cloned).
Apr
18
comment WMI-based hotkeys on not working
Martin, could you post the output of sudo acpidump > acpidump.txt on gist.github.com? It shouldn't be a big suprise that WMI hotkeys work in BIOS but not in Linux, there are several variables that control this behavior.
Apr
16
comment CRON Permission Denied
@LucaCoppola Please add the output of ls -ld /usr/bin/php /home/myfolder to your question.
Apr
13
comment Writing raw images safely to USB sticks
Shouldn't you use the block subsystem? If i am not mistaken, this rule will match the /dev/usb/xxx/yyy device instead of /dev/sdc. ATTRS rather than ATTR should match parent devices (i.e. block).
Apr
8
answered Are Debian- and RedHat-style repositories compromised by Heartbleed OpenSSL bug?
Apr
7
awarded  Popular Question