Re: wrap-search 3.3.5

[Emanuel Berg]

Yuri Khan wrote:

>> git remote add origin ${USER}@${server}:${repo}
>> git push remote # DNC
>>
>> fatal: 'remote' does not appear to be a git repository
>
> Your remote is named ‘origin’ but you’re trying to push to
> ‘remote’. There is no remote named ‘remote’ so the
> push fails.
>
> Try ‘git push origin’ instead.

That almost worked, but this [last] I think worked, the push
option, actually the complete command, was suggested by git.

Let's try the clone thing ...

  $ git clone https://dataswamp.org/~incal/wrap-search.git
  Cloning into 'wrap-search'...
  fatal: repository 'https://dataswamp.org/~incal/wrap-search.git/' not found

:(

#! /bin/zsh
#
# this file:
#   https://dataswamp.org/~incal/conf/.zsh/git
#
# at the server:
#   $ cd public_html
#   $ git init --bare wrap-search.git

git-init () {
    local name=wrap-search
    local server=dataswamp.org
    local repo=/home/incal/public_html/${name}.git

    cd
    rm -f -r .git
    git init
    git add ~/public_html/emacs-init/${name}.el
    git commit -m "Initial commit"
    git remote add origin ${USER}@${server}:${repo}
    git push --set-upstream origin master
    cd -
}

-- 
underground experts united
https://dataswamp.org/~incal