git - Github connection with ssh fail because of bad name resolution -


i have registered ssh key github account. keys in

~/.ssh/id_rsa_github_snail ~/.ssh/id_rsa_github_snail.pub

i have repo wherein remote url configured use ssh:

$ git remote -v origin  git@github.com:danielsank/pong.git (fetch) origin  git@github.com:danielsank/pong.git (push)

however, when try push company computer, following error message

danielsank@snail:~/src/pong$ git push ssh: connect host github.com.<company>.<name>.com port 22: connection timed out fatal: not read remote repository.  please make sure have correct access rights , repository exists.

notice ssh is, reason, trying connect github.com.<company>.<name>.com instead of github.com.

i have discovered following suspicious bit in /etc/resolve.conf:

# common within <company> lookup hostnames dot in # example '<machine>.<site>'. set 'options ndots:2' such hostnames # tried first <company> search domains appended. without such # queries might tried first against external dns resolver. options ndots:2

i can ping github.com.

i tried setting url git@github.com.:danielsank/pong.git. after doing that, when try push, asked accept host fingerprint github, different error:

permission denied (publickey). fatal: not read remote repository.  please make sure have correct access rights , repository exists.

which imagine happening because of dot in repo name.

is there way work around configuration? i'm kinda surprised resolution doesn't try again without appending company name...

it seems have strange dns settings in /etc/resolve.conf or in company's nameserver. prevent these dns settings append .<company>.<name>.com host names dot append dot @ end of host names:

ping github.com. # <- note dot! git remote set-url origin git@github.com.:danielsank/pong.git

about second problem — if want use key nonstandard name, have, can assign keys hosts in ~/.ssh/config:

host github.com github.com.     user git     identityfile ~/.ssh/id_rsa_github_snail

Comments

Post a Comment

Popular posts from this blog

ubuntu - PHP script to find files of certain extensions in a directory, returns populated array when run in browser, but empty array when run from terminal -

i running os ububtu 16.04. ultimate goal able run php script cron job every minute. here php script located @ /var/www/html/tests/test/index.php : <?php $directorypath = $_server['document_root']."/tests/test/data/"; echo "directorypath: $directorypath<br><br>";//check $imagefilepathsarray = glob($directorypath . "*.{png,gif}", glob_brace); echo "<br><br>imagefilepathsarray: "; print_r($imagefilepathsarray);//check ?> when open php script in browser visiting url my-ip-address/tests/test/index.php , get: directorypath: /var/www/html/tests/test/data/ imagefilepathsarray:array( [0] => /var/www/html/tests/test/data/pic.png [1] => /var/www/html/tests/test/data/pic.gif ) before writing cron job in crontab file, need check if can run anywhere using terminal . opened ubuntu terminal @ /home/ location, , executed in terminal: sudo php /var/www/html/tests/test/index.php i got following out...
Read more

php - How can i create a user dashboard -

today have questions you, want create user dashboard site, include (obviously), users data, example -email -username -and others stuff how can information, , print them in html page? if can, how can these information via php sessions? shuld use session? example, if user login, , start new session ( session_start() ), how can data print in dashboard? should use php "project"? in advice, have day , thank time!
Read more

javascript - How to detect toggling of the fullscreen-toolbar in jQuery Mobile? -

i have jquery mobile page fixed full-screen toolbar, data-tap-toggle enabled. straight under toolbar have positioned banner should slide upwards when toolbar hiding , slide downward when toolbar showing. jquery mobile toggles toolbar applying , removing ui-fixed-hidden class - sadly, can't find in documentation of toolbar widget toggle , hide or show event that. how can detect when toolbar toggled, reposition banner? .banner { position: fixed; background-color: darkseagreen; top: 46px; min-height: 48px; width: 100%; text-align: center; line-height: 48px; } <!doctype html> <html> <head> <meta charset="utf-8"> <meta name="viewport" content="width=device-width, initial-scale=1, user-scalable=no"> <link rel="stylesheet" href="https://code.jquery.com/mobile/1.4.5/jquery.mobile-1.4.5.css"> <script src="https://code.jquery.com/jquery-1....
Read more