Project Development: October 2012

Wednesday, October 17, 2012

Play your Local Repo with Remote

This article is typically a note-like one.

Facing the situation that Linux is the only system platform of three (Windows, Mac, Linux) which doesn't have a github client, then I have to play with command, especially my Egit for Eclipse doesn't work very well for remote operations.

Then comes the following command to help me push my commits to the remote repo, or fetch the remote to my local git.

1st, Before you start any push or pull operations, you need to create a new stream that assigns the original repo to a remote, which here is called "upstream"
git remote add upstream https://github.com/antonio081014/KeyChains.git

2nd, Fetch

git fetch upstream
# Fetches any new changes from the original repo

# Here original repo is the remote one.

3rd, Merge

git merge upstream/master
# Merges any changes fetched into your working files


4th, Push

git push upstream master
# this push new updated files to the remote
# before you push, you need to add those files and commit it.

The detail Git Cheat is Here.

Updated: a new found article could be found here, which explains everything I did above, while it adds plenty details. You could give it a check.

How to Submit your Google Site to Bing.

For a certain reason, I need to submit a website which is hosted by Google Sites to Search Engin Bing. (The certain reason is the people who make this request provides me my daily lunch, yeah, that's my wife, I just can't reject.)

Initially I think it would be easy, since if you need to add some websites to these big search engins like Google and Bing, all you need to do is creating an account on their "webmaster tools" (Google, Bing), and then copy the meta tag which generated by these services and paste it on your website default landing page's header, all the other jobs are left to these big engins, they will do their crawl and have a copy of your website on their server.

However, since I tried to submit her non-profit purposed website on bing webmaster tools, it's not that easy as I imagined.

1st, you need to enter the url(or address) on your browser, https://www.google.com/webmasters/tools/home?hl=en
It will looks like:
Fill out with your website address and the characters on that picture for security purpose.
For my website, the url to fill is: https://sites.google.com/site/cnlecc2012

2nd, After you signed in, you will see,

It asks you to provide the sitemap, which is pretty helpful for the crawler, but you don't really need to provide it now, you can just click ADD Button.

3rd, Verify your ownership of that website,
There are 3 options you could choose,

Option 1: Place an XML file on your web server

  1. Download BingSiteAuth.xml
  2. Upload the file to https://sites.google.com/site/cnlecc2012/BingSiteAuth.xml
  3. Confirm successful upload by visiting https://sites.google.com/site/cnlecc2012/BingSiteAuth.xml in your browser
  4. Click the verify button below
For Google Sites, you have to use this option until you have your own doman.
All you need to do is go to your website -> More -> Manage Site -> Attachments -> Upload
Notice: Upload the BingSiteAuth.xml you downloaded from the page at the top level.

Other two options will looks like:
For Option 2, it's the general way to make your website verified. If you have a blogger or some other similar website, you can just use this option. Right now, Google Sites would not allow you to add any meta tags on your site, so you can not use this option on your Google Sites.

For Option 3, If you have your own doman, you need to use option 3.