Pacman only checks core rep

Question

I just installed Arch but I can't get pacman to check any repositories other than core. Ie,
$ pacman -Sl extra
returns nothing.
Here's my pacman.conf
# /etc/pacman.conf
# See the pacman manpage for option directives
# GENERAL OPTIONS
[options]
LogFile = /var/log/pacman.log
HoldPkg = pacman glibc
#XferCommand = /usr/bin/wget --passive-ftp -c -O %o %u
# REPOSITORIES
# - can be defined here or included from another file
# - pacman will search repositories in the order defined here
# - local/custom mirrors can be added here or in separate files
# - repositories listed first will take precedence when packages
# have identical names, regardless of version number
#[testing]
#Include = /etc/pacman.d/testing
[core]
# Add your preferred servers here, they will be used first
Include = /etc/pacman.d/core
[extra]
# Add your preferred servers here, they will be used first
Include = /etc/pacman.d/extra
[community]
# Add your preferred servers here, they will be used first
Include = /etc/pacman.d/community
#[unstable]
# Add your preferred servers here, they will be used first
#Include = /etc/pacman.d/unstable
# An example of a custom package repository. See the pacman manpage for
# tips on creating your own repositories.
#[custom]
#Server = file:///home/custompkgs
What could I be missing? The pacman.d files are all identical.

Answer 1

peart wrote:Try "sudo pacman -Sy" first.  If you just installed, you might need to get the package lists for the other repos.
Silly me. That fixed it.
brebs wrote:
The pacman.d files are all identical.
That's wrong. The lines should contain the repo name, e.g. for /etc/pacman.d/community
Server = ftp://ftp.ibiblio.org/pub/linux/distributions/archlinux/community/os/x86_64
Yeah, I know, I meant "identical" as far as practical comparison purposes go, given that each file has a unique purpose.