Skip to content

Instantly share code, notes, and snippets.

View himajin315's full-sized avatar
🌴
On vacation

Yoshiaki Oshiro himajin315

🌴
On vacation
43 followers · 44 following
  • YassLab
View GitHub Profile
@himajin315
himajin315 / gist:df7a7f20888224b9d5ef
Created March 12, 2015 08:41
review-ext.rb
ReVIEW::Compiler.definline :seqsplit
module ReVIEW
class LATEXBuilder
def inline_seqsplit(str)
escaped_str = escape_latex(str)
"\\seqsplit{#{escaped_str}}"
end
end
@himajin315
himajin315 / UpdateExample.php
Created February 13, 2014 14:39
【引用】Net_DNS2(Update)を使ったサンプルコード
// 引用 : http://code.google.com/p/netdns2/wiki/UpdateExample
require_once("Net_DNS2/Net/DNS2.php");
//
// create a new Updater object
//
$u = new Net_DNS2_Updater('example.com', array('nameservers' => array('192.168.0.1')));
try {
@himajin315
himajin315 / sample_net_dns2.php
Created January 31, 2014 15:06
Net_DNS2を使ったサンプルコード
<!DOCTYPE html>
<head>
<title>sample (Net_DNS2)</title>
<meta charset="UTF-8">
</head>
<body>
<div class="contents">
<h1>sample (Net_DNS2)</h1>
<form action="sample_net_dns2.php" method="get">
ホスト名： <input type="text" name="host" value="<?php if(isset($_GET['host'])) echo $_GET['host']; ?>">
@himajin315
himajin315 / dns_get_record.php
Last active January 3, 2016 10:39
dns_get_record を使ったサンプルコード。
<!DOCTYPE html>
<head>
<title>DNS Search</title>
<meta charset="UTF-8">
<link ref="stylesheet" href="style.css" type="text/css">
</head>
<body>
<h1>DNS Search</h1>
<form action="dns_get_record.php" method="get">
ホスト名： <input type="text" name="host">