- Your personal www directory will remain available
- We will stop the support in PHP due to security and maintenance issues - therefore, if you are using PHP you must replace it.
Move your homepage to CSE github, using the directions below. With the pros of code management, enhanced permissions and online editing.
If you currently have an external website, It is better to add a personal page on your GitHub and add the redirect by HTML / JS to this site.
You can create a copy of the following repo - https://github.cs.huji.ac.il/system/redirect-html by clicking on the button - `use this template` and follow the instructions in the README.
If your homepage does not use PHP, and you do not want to move your homepage to github, you can abstain from taking any action. In this case, as of the beginning of November your homepage will still be available as it is today. However, due to an automatic redirect performed by the web server, your URL will appear in the address bar to be http://www.cs.huji.ac.il/w~[username]. The old URL will still work, and will simply redirect to this new URL (including the letter w) which will display your homepage as it currently appears.
If you have used github in the past from within your linux directory, you should skip this step. This step is required only once to set up your user and ssh keys.
- Login to github.cs.huji.ac.il. The login will initialize your user
- From your linux directory run the command github-setup
- To check that the setup has worked properly, go to your github settings page and check whether an SSH key exists under the category of SSH and GPG keys (https://github.cs.huji.ac.il/settings/keys).
If your SSH key exists, then this step is completed and your GitHub is set.
Warning: In case you do not see any SSH key in the list then something went wrong and you are required to do it manually.
Tip: You may use HTTPS rather than SSH which will result in simple setup, but you will be required for username + password with each interaction with the remote repository
You need to add id_rsa.pub public key to your GitHub SSH keys for git authentication.
- validate that your local key is created
$ more ~/.ssh/id_rsa.pub
- Copy the full output `ssh …. .il`
- Go to Github settings -> SSH keys - https://github.cs.huji.ac.il/settings/keys
- Click the button ‘new SSH key’ and add title: ‘cse ssh key’ paste the key you’ve copied and click ‘add SSH key’
You may find further instructions in our CS Wiki or in the GitHub documentation
¶ Step 2: Create the GitHub Repository and add files
- Go to github.cs.huji.ac.il
- Log on, using regular CS username and password
- Create a *private* repository called [username].github.cs.huji.ac.il, e.g., sara.github.cs.huji.ac.il. Make sure to create blank repository - without any files (do not create README)
run the following commands from within your linux account
- cd www
- git init
- Add the remote origin of the git (make sure you use SSH and not HTTPS):
$ git remote add origin git@github.cs.huji.ac.il:[name of the repository you created]
e.g.:
$ git remote add origin git@github.cs.huji.ac.il:sara/sara.github.cs.huji.ac.il
- $ git add . (with a period, all your www files will be uploaded. If you want only a subset of them, you can add them each selectively)
- $ git commit -a -m "commiting my website"
- $ git push origin master
To check that you have succeeded in transferring your homepage to git, go to the website http://pages.cs.huji.ac.il/[username]. You should see your website.
¶ Step 3 - Edit and update your pages
- Go to your repository - https://github.cs.huji.ac.il/<username>/<repo_name>
- Click on the `code` tab
- Browse to the file and click on the pencil icon button `Edit this file`
¶ Edit your files on your computer and then commit and push
- Clone your Git locally
$ cd /<to your desired local directory> // where you want to clone the web directory
$ git clone git@github.cs.huji.ac.il:<username>/<repository name>
e.g., in the case of Sara’s personal website
$ git clone git@github.cs.huji.ac.il:sara/sara.github.cs.huji.ac.il
$ cd <repository name>
- Edit the files with your preferred text editor
- Commit and push the files to the repository.
$ git commit -a -m “updating my website...”
$ git push origin master
Troubleshooting
¶ How to handle old PHP pages
If you still have functional PHP pages, please replace them with html pages.
i.e. - www.cs.huji.ac.il/~user/page.php will look for the page www.cs.huji.ac.il/~user/page.html and serve it to the user.