I think the OP is referring the the /lib/modules/extramodules-3.5-ARCH directory. (If using the stock kernel of course)
There is the possibility that you might have plugged it in after a kernel update and have not rebooted as well. With Arch kernels and modules are replaced rather than multiple kernel version being kept around. Thus when you update your kernel, the modules for the running kernel will be gone. So if, for instance, you plug in a FAT32 USB drive and both usbcore and vfat modules are
I was using mirrors.kernel.org, as they were the fastest for my location. I would consistenty max out my 3MB/s of bandwidth using those mirrors. But after some time I noticed that they would take quite a while to update what the rss was telling me should be there. Maybe your issue is the same, maybe not. Just thought I would throw it out there.Here is the thread I started a
@cfr, you know you can simply use [[ -f /etc/profile ]] && . /etc/profile instead of the if/then statement. It will work either way, but I use the one liner because it makes my .xinitrc look a little cleaner.