webapp: Generate better git remote names.

Wrote a better git remote name sanitizer. Git blows up on lots of weird
stuff, especially if it starts the remote name, but I managed to get
some common punctuation working.
This commit is contained in:
Joey Hess 2012-10-31 15:17:00 -04:00
parent c03d9b2310
commit 39e82b1af8
4 changed files with 40 additions and 10 deletions

View file

@ -19,10 +19,10 @@ import qualified Git.Command
import qualified Command.InitRemote
import Logs.UUID
import Logs.Remote
import Git.Remote
import qualified Data.Text as T
import qualified Data.Map as M
import Data.Char
{- Sets up and begins syncing with a new ssh or rsync remote. -}
makeSshRemote :: Bool -> SshData -> Assistant Remote
@ -112,6 +112,4 @@ uniqueRemoteName basename n r
name
| n == 0 = legalbasename
| otherwise = legalbasename ++ show n
legalbasename = filter legal basename
legal '_' = True
legal c = isAlphaNum c
legalbasename = makeLegalName basename