You can do this, if the remote repository accepts forced pushes: git push –force origin clean_start:master Note that if anyone else has the repository cloned, a push from them could potentially undo this. If you want to merge your local master branch and the remote master branch, but keep the file tree from your branch … Read more
You are right WebClient does not support this. You can use HttpWebRequest and set the method to HEAD if you want this functionality: System.Net.WebRequest request = System.Net.WebRequest.Create(uri); request.Method = “HEAD”; request.GetResponse();
Style sheets are linked in the <head> so that the browser can style the HTML and render it as it goes. If you put the style information at the bottom of the document the browser will have to restyle and render the whole document from the top again. This firstly, takes longer, and secondly, looks … Read more
First of all you can only accomplish this if your frame and the page displaying it is within the same domain (Due to cross-domain rules) secondly you can manipulate dom and window objects of the frame directly through JS: frames[0].window.foo = function(){ console.log (“Look at me, executed inside an iframe!”, window); } to get your … Read more
You could use the javascript DOM API like this: var headContent = document.getElementsByTagName(‘head’)[0].innerHTML;
Define “necessary”. It is necessary if you want the browser to know what the type of the file is. PHP automatically sets the Content-Type header to text/html if you don’t override it so your browser is treating it as an HTML file that doesn’t contain any HTML. If your output contained any HTML you’d see … Read more
When the simplest way (a new hg clone) isn’t practical, I use hg strip: % hg outgoing -l 1 % hg strip $rev # replace $rev with the revision number from outgoing Repeat until hg outgoing stays quiet. Note that hg strip $rev obliterates $rev and all its descendants. Note that you may have to … Read more
Under Python 3.x, you can do this nicely: >>> head, *tail = [1, 1, 2, 3, 5, 8, 13, 21, 34, 55] >>> head 1 >>> tail [1, 2, 3, 5, 8, 13, 21, 34, 55] A new feature in 3.x is to use the * operator in unpacking, to mean any extra values. It … Read more
Use iloc to access by position (rather than label): In [11]: df = pd.DataFrame([[1, 2], [3, 4]], [‘a’, ‘b’], [‘A’, ‘B’]) In [12]: df Out[12]: A B a 1 2 b 3 4 In [13]: df.iloc[0] # first row in a DataFrame Out[13]: A 1 B 2 Name: a, dtype: int64 In [14]: df[‘A’].iloc[0] # … Read more
A RESTful URI should represent a “resource” at the server. Resources are often stored as a record in a database or a file on the filesystem. Unless the resource is large or is slow to retrieve at the server, you might not see a measurable gain by using HEAD instead of GET. It could be … Read more