Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision Next revision Both sides next revision | ||
sidebar [2014/01/15 20:15] admin |
sidebar [2016/08/10 22:49] 127.0.0.1 external edit |
||
---|---|---|---|
Line 1: | Line 1: | ||
- | * [[start|Home]] | + | * [[start | Home]] |
- | * [[vigil:people|People]] | + | * [[vigil:people | People]] |
- | * [[vigil:research|Research]] | + | * [[vigil:research | Research]] |
- | * [[vigil:random_projects|Random Projects]] | + | * [[vigil:random_projects | Random Projects]] |
- | * [[Demos]] | + | * [[vigil:visitors | Visitors]] |
- | * [[vigil:Visitors]] | + | * [[vigil:talks | Talks]] |
- | * [[Talks]] | + | * [[vigil:contact_us | Contact Us]] |
- | * [[vigil:feedback|Feedback]] | + | === Internal Links === |
- | * [[vigil:contact_us|Contact Uss]] | + | * [[internal:login_creation_request | Get Lab Access]] |
~~NOCACHE~~ | ~~NOCACHE~~ | ||
- | |||
- | <php> | ||
- | $ip = $_SERVER['REMOTE_ADDR']; | ||
- | |||
- | // Try the following line if the ip is blank after this | ||
- | // $ip=@$REMOTE_ADDR; | ||
- | $regs = array(); | ||
- | // Enter suitable ip addr pattern below. The following code block executes only if | ||
- | // the ip addr starts with 10.12 | ||
- | if(!ereg("(^10.105.1.3$)",$ip,$regs)) | ||
- | { | ||
- | echo "<center><font size =2><b>INTERNAL LINKS</b></font></center>"; | ||
- | echo "<hr>"; | ||
- | // Create a html file with the desired internal links. | ||
- | // Here I assume that it is called internal_links.html | ||
- | //echo "<iframe frameborder=0 src='internalLink.html'></iframe>"; | ||
- | echo "<ul><LI><A href='http://trellis.cse.iitb.ac.in/~archive/'>Lab Work Archive</A></LI>"; | ||
- | echo "<LI><A href='http://trellis.cse.iitb.ac.in/vigil/doku.php?id=lab_hours_and_occupancy_schedule'>Lab Hours and Weekly Schedule</A></LI>"; | ||
- | echo "<LI><A href='http://trellis.cse.iitb.ac.in/vigil/doku.php?id=equipment'>Equipment</A></LI>"; | ||
- | echo "<LI><A href='http://www.cse.iitb.ac.in/vigil/doku.php?id=login_creation_request'>Login Creation Request</A></LI>"; | ||
- | echo "<LI><A href='http://bhim.cse.iitb.ac.in/mailman/listinfo/vigil'>Mailing List Archive</A></LI>"; | ||
- | echo "<LI><A href='http://trellis.cse.iitb.ac.in/vigil/doku.php?id=wiki_faq'>Wiki FAQ</A></LI>"; | ||
- | echo "<LI><A href='http://trellis.cse.iitb.ac.in/vigil/doku.php?id=vigil:faq'>VIGIL FAQ</A></LI>"; | ||
- | echo "<LI><A href='http://trellis.cse.iitb.ac.in/vigil/doku.php?id=contact:useful-numbers'>Useful Numbers</A></LI></ul>"; | ||
- | } | ||
- | // Use the following line for debugging the ip addr | ||
- | </php> | ||