小编GoZ*_*ner的帖子

emacs贪婪的搜索 - 后退 - 正则表达式

如何在emacs中使后向正则表达式搜索变得贪婪?

例如,我有abc 163439 abc我的缓冲区,我运行 M-x search-backward-regexp 以下正则表达式:163439\|3.这个正则表达式总是会在缓冲区中找到"3",但整个长整数都会更新.因为,当它开始搜索时,它首先会遇到'3'.在第二次尝试中,它将从数字内部的"3"的位置开始,并且将省略它.

如何找到最长和最接近的匹配?

所以我的意思是,当它遇到'3'时,我希望它检查匹配的部分是否不是更大匹配的一部分.

regex emacs elisp

5
推荐指数
1
解决办法
439
查看次数

如何仔细推送到Git的新分支

我目前正在开展一个团队项目,有许多远程分支机构.我从主人的分支机构克隆了这个项目.现在,我已经在本地更改了这个项目,我想推送它,但为了避免将其推送到项目主远程分支,我想在本地创建一个新分支,并将此分支推送到远程.

总的想法,不是将我的本地版本的项目粉碎成主要的远程项目.我只需要将我的分支分开.

所以,我猜我会先做

git checkout -b my_new_branch

然后

git push -u origin my_new_branch

这样可以保证,我的分支机构不会与任何人混在一起吗?

git push github git-remote

5
推荐指数
2
解决办法
9600
查看次数

systemd`systemctl stop`积极杀死子进程

我有一个类似守护进程的进程,它启动了两个子进程(其中一个子进程启动了约10个其他子进程)。当systemctl stop我的进程出现时,子进程似乎被“积极地”杀死了systemctl-这并没有给我清理进程的机会。

我如何才能摆脱systemctl stop侵略性的杀戮,从而使我的流程有序地进行清理?

timeoutSec=30无济于事。

redhat systemd systemctl

5
推荐指数
1
解决办法
4629
查看次数

Coq中的双重感应

基本上,我想证明以下结果:

Lemma nat_ind_2 (P: nat -> Prop): P 0 -> P 1 -> (forall n, P n -> P (2+n)) ->
    forall n, P n.
Run Code Online (Sandbox Code Playgroud)

这就是所谓的双重归纳的复发方案.

我试图证明它应用感应两次,但我不确定我会以这种方式得到它.实际上,我在那时陷入困境:

Proof.
  intros. elim n.
    exact H.
    intros. elim n0.
      exact H0.
      intros. apply (H1 n1).
Run Code Online (Sandbox Code Playgroud)

double recurrence coq induction

3
推荐指数
1
解决办法
1077
查看次数

spin.js jquery无法正常工作

我正在尝试使用它:http://fgnass.github.io/spin.js/当我通过他们指定的js使用它时,它工作正常.但是,当我想使用jquery插件时,它不起作用.我不需要这样做$('#elementID').spin(),它应该在该元素上启动一个微调器吗?

编辑:

在jquery插件中它说:

$('#el').spin(); // Creates a default Spinner using the text color of #el.

这就是我想要使用的.人们在下面回答的常规js方式确实有效,但我不知道为什么这种jquery方式不能正常工作.

javascript jquery spinner

3
推荐指数
2
解决办法
9805
查看次数

添加带参数的函数到钩子

当我使用以下内容打开源代码文件时,我想根据编程语言运行一个函数.我必须将特定str于语言的foo函数传递给函数.如何在add-hook声明中做到这一点?

(defun foo (str)
   (blahblah...))
(add-hook 'prog-mode-hook 'foo)
Run Code Online (Sandbox Code Playgroud)

lisp emacs elisp

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

字典末尾的逗号 - swift

示例代码:

let interestingNumbers = [
    "Prime":[2,3,5,7,11,13],
    "Fibonacci":[1,1,2,3,5,8],
    "Square":[1,4,9,16,25]`,`
]
Run Code Online (Sandbox Code Playgroud)

问题:在“Square:[1,4,9,16,25]”之后,有一个逗号(来自Apple Swift参考指南的示例代码),当我去掉它时,我没有收到任何错误消息Xcode,这只是约定吗?(我记得objective-C中有一个nilafter数组或字典

xcode dictionary swift

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

Lisp :( A(BC)),为什么1个列表和1个原子?

我正在学习Lisp,我不理解他们在解释列表原子的课程中给出的一些例子.

我明白 :

  • (AB):1个列表,2个原子
  • (ABC):1个列表,3个原子

我不明白这一部分:

  • (A(BC)):1个列表,1个原子

经过深思熟虑之后,我认为:

  • A是原子,(BC)是列表,但我不明白为什么......

    • 为什么第一个和最后一个括号不被视为一个列表?
    • 为什么我们不把B和C算作原子呢?

在此先感谢对这个奇怪的事情的任何启发:)

lisp syntax list parentheses

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

从字母数字字符串创建唯一整数

我在 Rails 中播种数据库。种子数据包含 ID,我需要将这些 ID 设置为我的主键。种子数据中的主键是字母数字。Rails 需要它的主键是整数。我认为必须有某种方法将字母数字字符串转换为唯一的整数。不可能是随机的。相当于饼干插孔中的解码器响铃的东西。

ruby ruby-on-rails

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

Swift地图问题

尝试理解地图,并写一个来测试它,

func map<A, B>(x: A?, f: A -> B) -> B? {
  if let x1 = x {
    return f(x1)
  }
  return nil
}

let test1 = [1, 2, 3, 4]
println(test1)
let test2 = map(test1, { $0 + 1 })
println(test2)

let test3: [Int?] = [5, nil, 7, 8]
println(test3)//[{Some "aaa"}, {Some "bbb"}, nil, {Some "ccc"}]
let test4 = map(test3, { $0 + 1 })
println(test4) //"Optional(0x00007fb7ea61e190)"
Run Code Online (Sandbox Code Playgroud)

但为什么test4无法输出值,只显示一个指针?

swift

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

方案高阶函数

鉴于函数的骨架:

(define gen-hash-division-method (lambda (size)))
Run Code Online (Sandbox Code Playgroud)

以及:

(define hash-1 (gen-hash-division-method 701))
Run Code Online (Sandbox Code Playgroud)

我编码的内容:

(define gen-hash-division-method 
  (lambda (size)
   (lambda (w) 
    (modulo key(flip(w)) size))))
Run Code Online (Sandbox Code Playgroud)

key(flip(w))获取一个列表w并返回一个整数.

并致电:

(hash-1 '(h e l l o))
Run Code Online (Sandbox Code Playgroud)

我一直收到这个错误:

procedure application: expected procedure, given: (h e l l o) (no arguments) 
Run Code Online (Sandbox Code Playgroud)

lisp hash scheme

0
推荐指数
1
解决办法
118
查看次数

保证您可以使用git重新创建构建

我正在使用git与夜间构建进行quandry.如果我们每天早上12:01克隆回购,建立并测试它,那么我们怎样才能保证每次都能获得相同的构建?

第一种方法是标记构建.我们拉标签和构建.问题是我们的系统充斥着标签.我们可以删除标签,但总有可能有人需要删除标签.

第二种方法是git rev-list按日期/时间进行git checkout .缺陷是更改集在提交时加上时间戳 - 而不是在它们被推送时.因此,如果有人在2013年7月30日晚上9点提交(但没有推送),那么在2013年7月31日第二天推送.这样做:

git checkout `git rev-list -n 1 --before="2013-07-31 0:01" master`

根据是否在推送之前或之后完成结账,获得不同的结果.

我是否误解了某些内容,或者有更好的方法在git中执行此操作?

git

0
推荐指数
1
解决办法
116
查看次数