第一抽屉原理 原理1： 把多于n+1个的物体放到n个抽屉里，则至少有一个抽屉里的东西不少于两件。 抽屉原理 抽屉原理 证明（反证法）：如果每个抽屉至多只能放进一个物体，那么物体的总数至多是n×1，而不是题设的n+k(k≥1)，故不可能。 原理2：把多于mn(m乘n)+1（n不为0）个的物体放到n个抽屉里，则至少有一个抽屉里有不少于（m+1）的物体。 证明（反证法）：若每个抽屉至多放进m个物体,那么n个抽屉至多放进mn个物体,与题设不符，故不可能。 原理3：把无 ...

如何配置vim的背景色 设置.vimrc （这个.vimrc在当前用户的home目录下，如果没有，创建一个，这样不影响系统级别的vim设置。以后vim的一些设置都可以在这里添加，比如说添加set number后就可以默认打开显示行号） hi Normal ctermbg=Black ctermfg=white ctermbg表示背景色。ctermfg 表示前景色。 如何配置一个vim主题 就拿solarized主题来说吧。 下载solarized主题： ...

官网摘要： http://dev.mysql.com/doc/refman/5.6/en/fulltext-search.html MySQL has support for full-text indexing and searching: A full-text index in MySQL is an index of type FULLTEXT. Full-text indexes can be used only with  ...

如何排查Oracle SOA Suite以及Oracle BPM Suite的疑难杂症请参考官方文档： https://docs.oracle.com/cd/E29542_01/admin.1111/e10226/appx_trouble.htm#SOAAG3705 how to troubleshoot issues you can encounter when using Oracle SOA Suite and Oracle BPM Suite, including loggi ...

有这样的一个数列：1, 1, 2, 5, 14, 42, 132, 429, 1430, 4862, 16796, 58786, 208012, 742900, 2674440, 9694845, 35357670, 129644790, 477638700, 1767263190, 6564120420, 24466267020, 91482563640, 343059613650, 1289904147324, 4861946401452, ...  数字递增十分快，所以让我们想到 ...

如何配置xdebug? 首先根据phpinfo的输出，复制到xdebug.org/wizard.php中分析环境配置。如下： XDEBUG EXTENSION FOR PHP | DOCUMENTATION | INSTALLATION home | updates | download | documentation | contributing | license | support | issue tracker If you like Xdebug, pleas ...

shopt命令:  全写为shell option命令 顾名思义：shopt命令用于显示和设置shell中的行为选项，通过这些选项以增强shell易用性。shopt命令若不带任何参数选项，则可以显示所有可以设置的shell操作选项。 其语法： shopt 选项 参数 选项 -s：激活指定的shell行为选项； -u：关闭指定的shell行为选项。 参数 shell选项：指定要操作的shell选项。 例如bash shopt： ...

一些banner在线生成工具   http://patorjk.com/software/taag/ http://www.network-science.de/ascii/ https://www.degraeve.com/img2txt.php   :'######:::'#######:::'#######:::'######::'##::::'##::::'###::::' ...

mac的世界里常常会看到提到brew的文章。那Homebrew的作用是什么？使用它有什么好处？ 首先Homebrew的官网：https://brew.sh/ Homebrew = The missing package manager for macOS。 顾名思义就是macOS的缺失包管理器。可能翻译成缺失包管理器还不如直接翻译为macOS的另一个软件包安装管理器。这个管理器基于Ruby和Git来实现，所有安装的软件都来源于安装软件的官方网站。 http://docs.bre ...

HG Data，一个了解行业软件使用情况的网站，有了它可以帮助我们查看一个软件有哪些公司在使用，以及其竞争对手等数据。这有助于我们了解一个软件的使用范围和市场份额。 网址：https://discovery.hgdata.com/ ...

这是一个井字棋游戏的java实现。摘录于stackoverflow。 游戏规则很简单，只要一方棋子在水平线，垂直线或者对角线任意一条线上排列成功即为获胜。 作者原先的代码存在着一些问题： 代码如下： 一共有几个类: play, player, human, computer, set Play类： import java.util.Scanner; public class play { public static void m ...

Jenkins安装plugin时出现的错误： Checking internet connectivity Checking update center connectivity sun.security.provider.certpath.SunCertPathBuilderException: unable to find valid certification path to requested target at sun.security.provider.certpath ...

本文摘自官网，WEBLOGIC 版本为12.1.1 Roadmap for Understanding WebLogic Server Domains Table-Roadmap for Understanding WebLogic Server Domains Major Task Subtasks and Additional Information 关于Weblogic Server Domai ...

最近咳嗽不止，吃了一个亲戚送的罗汉果，与之前普通的传统罗汉果不一样，味道不错，效果明显，于是就到天猫上找了一家。正好发现这家搞活动，买一送一，于是买了一个盒试试，收到后果然果子不错，虽然快递不给力，但是产品本身很好，包装也很不错。记录下来，以后有需要可以再来买些，分享给有需要的朋友。 现在买还有优惠券送，买一送一，很划算。36元买到24个果子，比超市里传统的罗汉果还便宜。 领券地址： https://s.click.taobao.com/tP5pO8x ...

在 Unix 平台下安装 PHP 有几种方法：使用配置和编译过程，或是使用各种预编译的包。 本文是在Linux下面自编译生成PHP的方法，主要参考官网提供的方法结合一些自身的情况： 从apache官网获取 Apache 源码包，然后解压： gzip -d httpd-2_x_NN.tar.gz tar -xf httpd-2_x_NN.tar 同样，获取 PHP 源码包并解压： gunzip php-NN.tar.gz tar -xf php- ...

Credential Store Framework (CSF) is used in OWSM to manage the secure credentials. 下面是创建CSF Key的步骤： 1.首先需要这些信息 Weblogic Domain Name Identity Domain Name User Name Password 在Fusion Applications control (EM) 中选择Weblogic Domain Nam ...

本文为对RFC2616第三节的简单整理。详文请参考官网。 3.1 HTTP Version HTTP-Version = "HTTP" "/" 1*DIGIT "." 1*DIGIT     3.2 Uniform Resource Identifiers http_URL = "http:" "//" host [ " ...

window bat批处理文件中常常有setlocal和endlocal，那它们的作用是什么呢？ microsoft官方文档解释是 Setlocal creates a local scope and endlocal terminates the local scope. Any changes made within the setlocal and endlocal scope are discarded, thereby leaving the original envi ...

CSS hack由于不同厂商的浏览器，比如Internet Explorer,Safari,Mozilla Firefox,Chrome等，或者是同一厂商的浏览器的不同版本，如IE6和IE7，对CSS的解析认识不完全一样，因此会导致生成的页面效果不一样，得不到我们所需要的页面效果。 这个时候我们就需要针对不同的浏览器去写不同的CSS，让它能够同时兼容不同的浏览器，能在不同的浏览器中也能得到我们想要的页面效果。 简单的说，CSS hack的目的就是使你的CSS代码兼容不同的浏览器。当然， ...

File: coreutils.info,  Node: df invocation,  Next: du invocation,  Up: Disk usage 14.1 `df': Report file system disk space usage ============================================== `df' reports the amount of disk space used a ...