我正在编写一个Java应用程序,它具有通过定期尝试访问服务器来检查它是否连接到Internet的功能.我的第一个想法是Ping服务器 - 但事实证明在Java中实现起来很复杂.所以我重新发送它以发送HTTP HEAD请求并检查HTTP响应代码.我有两个问题:
1)HTTP HEAD请求"ping"和ping一样可靠吗?Ping将是我检查某些东西是否可用的第一个自然选择.也许只是因为在命令行上运行起来非常简单.
2)如果我向第三方网站发送HTTP HEAD请求以检查它是否可访问,是否有一些标准频率应该发送?例如,如果我每秒发送一次,那会不鼓励甚至让我阻止这些服务?
我知道内部CSS应该在<head></head>
(X)HTML文档的部分中,但是它需要在某些<meta>
或<title>
元素之前/之后,还是可以是任何顺序?
我一直认为,执行HEAD
请求而不是GET
请求更快(无论资源的大小),因此在某些解决方案中具有优势.
然而,当HEAD
用Python 发出请求(到5+ MB动态生成的资源)时,我意识到它花了相同的时间来发出GET
请求(差不多27秒而不是我希望的'不到2秒').
使用了一些解决的urllib2做一个HEAD
发现这里的请求,甚至使用pycurl
(设定headers
和nobody
对True
).他们俩都花了同样的时间.
我在概念上遗漏了什么吗?是否可以使用Python来执行"快速" HEAD
请求?
我有一个本地存储库,我想将其快进到特定提交(可能不是远程存储库的 HEAD)。
所以我这样做:
git fetch master
git checkout sha
Run Code Online (Sandbox Code Playgroud)
然而,这使我处于分离的 HEAD 状态,这是我不想要的。是否有相当于git checkout -b branch_name sha
, 当branch_name 已经存在时起作用?
简而言之,我必须将本地存储库的 HEAD 更新为远程提交。我已经尝试过git pull origin sha
但没有成功。我无法使用git pull origin master
,因为它将快进到远程的 HEAD,而我想快进到特定的提交。
当我使用请求模块检查页面是否可用时。例如:
>>> import requests
>>> url = "http://www.motie.com/book/29675"
>>> res = requests.head(url)
>>> print res.status_code
404
>>> res = requests.get(url)
>>> print res.status_code
200
Run Code Online (Sandbox Code Playgroud)
我分别得到了 HEAD 和 GET 的 status_code 404 和 200。我不知道为什么。此外,我怎么能找出原因。非常感谢。
我想做的要点是:
grep -n "some phrase" {some file path} | head -1
Run Code Online (Sandbox Code Playgroud)
我想将其输出传递到 python 中。到目前为止我尝试过的是:
p = subprocess.Popen('grep -n "some phrase" {some file path} | head -1',shell=True,stdout=subprocess.PIPE)
Run Code Online (Sandbox Code Playgroud)
我收到很多回复说
"grep: writing output: Broken pipe"
Run Code Online (Sandbox Code Playgroud)
我对该模块不太熟悉subprocess
,我想了解如何获得此输出以及我目前做错了什么。
我想知道如何读取文件的前n行和最后n行?因为n=2
,我在网上看到它(head -n2 && tail -n2)
会起作用,但事实并非如此.
$ cat x
1
2
3
4
5
$ cat x | (head -n2 && tail -n2)
1
2
Run Code Online (Sandbox Code Playgroud)
预期的产出n=2
将是:
1
2
4
5
Run Code Online (Sandbox Code Playgroud) 假设我有列表Xs = [a,b,c].
现在我想迭代所有元素并为这些元素调用另一个函数.我的问题是:如何使用头部和尾部这样做?我很感激你的帮助.
我有一个问题,我需要在HEAD标签中注入一个javascript对象,用于标签管理.这是我的Helmet组件,但它只接受通过rewind()函数设置为元数据服务器端的特定参数.
有没有办法使用React Helmet来做我需要的东西,所以,将javascritpt对象创建为SCRIPT标签还是应该采用不同的方法?
MyComponent.js
<Helmet
title={article.get('title')}
meta={[
{"property": "og:title", "content": article.get('title')},
{"property": "og:url", "content": article.get('url')},
{"property": "twitter:title", "content": article.get('title')}
]}
/>
Run Code Online (Sandbox Code Playgroud)
server.js
let htmlHead = `
${head.title}
${head.meta.toString()}
`;
Run Code Online (Sandbox Code Playgroud)
谢谢你的支持
我从我的项目中检出特定提交并从那里继续,希望该提交之后的更改将被删除,并且我检出的那个提交将是新的头。我提交了新的更改,但我无法推动它们。我还是 git 的新手。
我所做的是:
我有:
To https://github.com/myusername/project.git
! [rejected] master -> master (fetch first)
error: failed to push some refs to 'https://github.com/miloradsimic/ISA16.git'
hint: Updates were rejected because the remote contains work that you do
hint: not have locally. This is usually caused by another repository pushing
hint: to the same ref. You may want to first integrate the remote changes
hint: (e.g., 'git pull ...') before pushing …
Run Code Online (Sandbox Code Playgroud)