Skip to content

Instantly share code, notes, and snippets.

View argent-smith's full-sized avatar
🐪
OCaml & Coq while not @ work

Pavel Argentov argent-smith

🐪
OCaml & Coq while not @ work
View GitHub Profile
OASISFormat: 0.4
Name: slackbot
Version: 0.0.1
Synopsis: Experimental slack bot in OCaml
Authors: Pavel Argentov (argentoff@gmail.com)
License: BSD-3-clause
Plugins: META (0.4), DevFiles (0.4), StdFiles (0.4)
AlphaFeatures: stdfiles_markdown
Executable slackbot
Path: src
Checker definition probably flawed.
Error while checking syntax automatically: (file-error "Writing to process" "bad file descriptor" #<process flycheck-ruby-rubocop>)
Saving file /Users/paul/Development/Evrone/authentica/app/services/data_utils/best_pick_setup.rb...
Wrote /var/folders/mx/p1090yj579bfmb2t3bvdvclc0000gn/T/.!Users!paul!Development!Evrone!authentica!app!services!data_utils!best_pick_setup.rb.~undo-tree~
Wrote /Users/paul/Development/Evrone/authentica/app/services/data_utils/best_pick_setup.rb
Suspicious state from syntax checker ruby-rubocop: Checker ruby-rubocop returned non-zero exit code 1, but no errors from output: invalid option: --cache
/Users/paul/.rbenv/versions/2.2.3/lib/ruby/gems/2.2.0/gems/rubocop-0.32.1/lib/rubocop/options.rb:68:in `parse'
/Users/paul/.rbenv/versions/2.2.3/lib/ruby/gems/2.2.0/gems/rubocop-0.32.1/lib/rubocop/cli.rb:21:in `run'
/Users/paul/.rbenv/versions/2.2.3/lib/ruby/gems/2.2.0/gems/rubocop-0.32.1/bin/rubocop:13:in `block in <top (required)>'
/Users/paul/.rbenv/ver
@argent-smith
argent-smith / gist:5391009
Created April 15, 2013 20:22
Mongodb chef cookbook problem
[2013-04-15T20:17:15+00:00] INFO: Processing execute[apt-get update] action nothing (mongodb::10gen_repo line 28)
[2013-04-15T20:17:15+00:00] INFO: Processing apt_repository[10gen] action add (mongodb::10gen_repo line 32)
================================================================================
Error executing action `add` on resource 'apt_repository[10gen]'
================================================================================
RuntimeError
------------
The repository file to create is nil, cannot continue.
@argent-smith
argent-smith / stopping.txt
Created October 16, 2012 09:16
ACTUALLY stopping gjournal on GPT!!!
# sysctl kern.geom.label.gpt.enable=0
# sysctl kern.geom.label.gptid.enable=0
# gjournal stop da0p1.journal
@argent-smith
argent-smith / attach-select2.js.coffee
Created October 4, 2012 19:30
a hack attaching select2 to best_in_place
# connecting select2 to the appropriate hooks:
#
# hard case: best_in_place's select
$ ->
# first, find the mount point
$('body').on 'best_in_place:activate', '.best_in_place', ->
# second, attach empty update() to `this` to screen the downstream calls
# which otherwise will cause an error
@argent-smith
argent-smith / haproxy.conf
Created October 3, 2012 06:47
Haproxy timeouts for stable communication with nginx/unicorn backend
backend nginx_backend
#timeout connect 400
timeout connect 6000
#timeout server 600
timeout server 6000
server server1 10.0.0.1:8080 maxconn 2000 check
@argent-smith
argent-smith / test.js
Created September 5, 2012 10:46
yui killer
test = {
zhopa: function (z, char) {
return true;
}
}
@argent-smith
argent-smith / case.txt
Created March 7, 2012 06:59
facebook thing
[paul@paul paul]$ lynx -head -dump http://facebook.com
HTTP/1.0 301 Moved Permanently
Location: http://www.facebook.com/
Content-Type: text/html; charset=utf-8
X-FB-Debug: 0iV7kkInxezygwAu6gdBa2v96tBdZuV3gj4D92r7DQo=
Connection: close
Content-Length: 0
[paul@paul paul]$ host -a www.facebook.com
@argent-smith
argent-smith / template.rb
Created November 17, 2011 20:00
a conflict when tried to merge...
module Tilt
TOPOBJECT = defined?(BasicObject) ? BasicObject : Object
# Base class for template implementations. Subclasses must implement
# the #prepare method and one of the #evaluate or #precompiled_template
# methods.
class Template
# Template source; loaded from a file or given directly.
attr_reader :data
@argent-smith
argent-smith / result.txt
Created October 28, 2011 19:23
Octopress' Issue #252
https://github.com/api/v2/json/repos/show/argent-smith?callback=? gave the following:
?({"repositories":[{"has_issues":true,"description":"A library wrapping BSD rsh(1) client execution into a PORO. Also features pure ruby rsh client implementation.","forks":1,"has_downloads":true,"url":"https://github.com/argent-smith/rsh","created_at":"2010/10/21 03:53:37 -0700","fork":false,"has_wiki":true,"size":508,"private":false,"language":"Ruby","name":"rsh","owner":"argent-smith","pushed_at":"2011/09/09 08:53:17 -0700","open_issues":0,"watchers":2},{"has_issues":true,"description":"Artificial Intelligent @ GitHub","forks":1,"has_downloads":true,"url":"https://github.com/argent-smith/argent-smith.github.com","created_at":"2010/10/31 12:25:40 -0700","fork":false,"homepage":"","has_wiki":true,"size":968,"private":false,"language":"Ruby","name":"argent-smith.github.com","owner":"argent-smith","pushed_at":"2011/09/10 01:23:55 -0700","open_issues":0,"watchers":2},{"has_issues":true,"description":"Yet Another Whois Thing."