标签: head

Ping vs HTTP HEAD

我正在编写一个Java应用程序,它具有通过定期尝试访问服务器来检查它是否连接到Internet的功能.我的第一个想法是Ping服务器 - 但事实证明在Java中实现起来很复杂.所以我重新发送它以发送HTTP HEAD请求并检查HTTP响应代码.我有两个问题:

1)HTTP HEAD请求"ping"和ping一样可靠吗?Ping将是我检查某些东西是否可用的第一个自然选择.也许只是因为在命令行上运行起来非常简单.

2)如果我向第三方网站发送HTTP HEAD请求以检查它是否可访问,是否有一些标准频率应该发送?例如,如果我每秒发送一次,那会不鼓励甚至让我阻止这些服务?

java http ping head

4
推荐指数
1
解决办法
1696
查看次数

内部CSS在哪里?

我知道内部CSS应该在<head></head>(X)HTML文档的部分中,但是它需要在某些<meta><title>元素之前/之后,还是可以是任何顺序?

css head

4
推荐指数
1
解决办法
9079
查看次数

HEAD请求与GET请求

我一直认为,执行HEAD请求而不是GET请求更快(无论资源的大小),因此在某些解决方案中具有优势.

然而,当HEAD用Python 发出请求(到5+ MB动态生成的资源)时,我意识到它花了相同的时间来发出GET请求(差不多27秒而不是我希望的'不到2秒').

使用了一些解决的urllib2做一个HEAD发现这里的请求,甚至使用pycurl(设定headersnobodyTrue).他们俩都花了同样的时间.

我在概念上遗漏了什么吗?是否可以使用Python来执行"快速" HEAD请求?

python http urllib2 pycurl head

4
推荐指数
1
解决办法
1998
查看次数

Git 签出提交并附加到现有分支

我有一个本地存储库,我想将其快进到特定提交(可能不是远程存储库的 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,而我想快进到特定的提交。

git commit head

4
推荐指数
1
解决办法
9926
查看次数

python请求模块:head和get请求方法有什么区别

当我使用请求模块检查页面是否可用时。例如:

>>> 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。我不知道为什么。此外,我怎么能找出原因。非常感谢。

python get http-status-codes head python-requests

4
推荐指数
1
解决办法
960
查看次数

使用子进程获取通过 head -1 管道传输的 grep 输出

我想做的要点是:

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,我想了解如何获得此输出以及我目前做错了什么。

python grep subprocess pipe head

4
推荐指数
1
解决办法
3514
查看次数

如何从文件中读取前n行和后n行?

我想知道如何读取文件的前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)

bash awk sed tail head

4
推荐指数
2
解决办法
8343
查看次数

Prolog迭代列表

假设我有列表Xs = [a,b,c]. 现在我想迭代所有元素并为这些元素调用另一个函数.我的问题是:如何使用头部和尾部这样做?我很感激你的帮助.

iteration list prolog head

4
推荐指数
1
解决办法
2万
查看次数

React Helmet可以将javascript对象注入<HEAD>标签吗?

我有一个问题,我需要在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)

谢谢你的支持

html javascript head reactjs helmet.js

4
推荐指数
4
解决办法
1万
查看次数

如何从特定提交继续项目并修复 HEAD 分离问题?

我从我的项目中检出特定提交并从那里继续,希望该提交之后的更改将被删除,并且我检出的那个提交将是新的头。我提交了新的更改,但我无法推动它们。我还是 git 的新手。

我所做的是:

  1. git checkout commit_hash
  2. 编辑项目
  3. git commit -m "新变化"
  4. git push -u origin master

我有:

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)

git version-control head git-detached-head

4
推荐指数
1
解决办法
4894
查看次数