diff options
author | defanor <defanor@uberspace.net> | 2017-11-05 11:16:46 +0300 |
---|---|---|
committer | defanor <defanor@uberspace.net> | 2017-11-05 11:37:27 +0300 |
commit | 09e4bdddc7415117cc27047ad0d7afe523f064c2 (patch) | |
tree | 09a9801234540c1685d011c71ea04bbc4a9bb22b /Pancake/Command.hs | |
parent | 8f9c51474f8cad8cd2337f9231d95fd8e7f7e258 (diff) |
Read metadata
Reading effective URI and content type (if those are available) now,
aiming `curl -w` or similar commands.
Not a particularly nice way, and complicates both the program and the
configuration, but sometimes file name extensions are deceptive.
Diffstat (limited to 'Pancake/Command.hs')
-rw-r--r-- | Pancake/Command.hs | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/Pancake/Command.hs b/Pancake/Command.hs index a1a0b09..6adc51d 100644 --- a/Pancake/Command.hs +++ b/Pancake/Command.hs @@ -84,5 +84,6 @@ command c = [ basicCommand <?> "basic command" , followRef <?> "follow ref" , showRef <?> "show ref" + , shortcut (shortcuts c) <?> "shortcut" , goTo <?> "go to" - , shortcut (shortcuts c) <?> "shortcut"]) + ]) |