Заметки под рукой

Этот сайт содержит небольшие заметки и рецепты, которые вечно забываешь и их приходится гуглить. Поэтому создатель сайта решил их сохранить в какое-то одно место, чтобы иметь быстрый доступ к ним.

Сим-сим

Как определить прокси-сервер в терминале?

Опубликовал TIT в 00:04 06.04.2010
Часто возникает необходимость выполнить в терминале команду, которая требует подключения к интернету. Это могут быть команды вроде wget, gpg --keyserver или, скажем, запуск скрипта winetricks. Обычно доступ к интернету из терминала не вызывает проблем. Однако если у вас доступ организован через прокси-сервер, то для выполнения подобных команд надо определить переменную окружения http_proxy.
Делается это так:
Код: Bash
1
http_proxy="http://Username:Password@Server:Port/"
Например, запуск уже упомянутой команды winetricks с определенным в переменной окружения прокси-сервером будет выглядеть так:
Код: Bash
1
http_proxy="http://Username:Userpwd@server:ServerPort/" sh winetricks
Нет комментариев

Корректное определение ie6 из php по USER_AGENT

Опубликовал bobathecar в 00:04 06.04.2010
Код: PHP
 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
<?php    
function is_ie6($user_agent) {
   // Проверяем, что msie встречается только один раз в агенте
   // Защита от ie7 & ie8 с агентом вида:
   // Mozilla/4.0 (compatible; MSIE 8.0; Windows NT 5.1; 
   // Trident/4.0; MRA 5.2 (build 02405); 
   // Mozilla/4.0 (compatible; MSIE 6.0; Windows NT 5.1; SV1) ;
   // .NET CLR 3.0.04506.30; .NET CLR 2.0.50727)
  
  $count = 0;
  str_ireplace('msie', '', $user_agent, $count);
  if ($count > 1) {
    return False;
  }
  if (stripos($user_agent, 'msie 6') === False) {
    return False; 
  }
  return True;                                                       
}

// Применять так

if (is_ie6($_SERVER['HTTP_USER_AGENT'])) {
  die('die old browsers, die!');
}
?>
Нет комментариев

Копирование файлов в Linux (по сети) с ограничением скорости.

Опубликовал TIT в 07:11 05.04.2010
Код: Bash
1
scp [-l limit] source target
Limits the used bandwidth, specified in Kbit/s.
Нет комментариев

Пример графика на ExtJs 3.2, с временной осью

Опубликовал bobathecar в 07:11 05.04.2010
Для начала подключаем Ext
Код: HTML
1
2
3
4
<LINK href="/extjs/resources/css/ext-all.css" type="text/css" rel="stylesheet">
<SCRIPT type="text/javascript" src="/extjs/adapter/ext/ext-base.js"></SCRIPT>
<SCRIPT type="text/javascript" src="/extjs/ext-all.js"></SCRIPT>
<SCRIPT type="text/javascript" src="/extjs/src/locale/ext-lang-ru.js"></SCRIPT>
Далее создаем JsonStore для нашего графика:
Код: JavaScript
 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
var store = new Ext.data.JsonStore({                                                
    url:'/url/to/serverscript.php',  
    root: 'r', 
    fields: 
[
      // Указываем формат поля времени, поле должно прийти вида 2010-03-04 18:34:55
      {name:'data',type:'date',dateFormat:'Y-m-d H:i:s'},
      // Второе поле просто число
      {name:'c',type:'int'}
      ],
    // Разрешаем автозагрузку
    autoLoad: true                                                            
});

// Указываем необходимые переменные для ExtJs
Ext.BLANK_IMAGE_URL = '/extjs/resources/images/default/s.gif';
Ext.chart.Chart.CHART_URL = '/extjs/resources/charts.swf';

//----------
// Функция для форматирования Date объекта
function format_date_whithout_year(d) {
    return d.format('d.m в H:i');           
}

// Инициируем график
Ext.onReady(function() {                                                   
    Ext.QuickTips.init();  

    // График-----------
    var statistic_graf = new Ext.Panel({                                  
        title: 'Сводная почасовая активность модераторов.',               
        // Указываем id divа куда будет нарисован график.
        renderTo: 'content-charts',                                       
        autoWidth: true,                                 
        height: 400,                                               
        items: {                                                          
            xtype: 'linechart',                                           
            store: store,                                        
            xField: 'data',                                               
            yField: 'c',                                                  
            xAxis: new Ext.chart.TimeAxis({
                            labelRenderer: format_date_whithout_year,
                            calculateByLabelSize: true             
                            })      
            }
      });
});
Вся магия в том, что указан тип данных date в JsonStore, формат даты и использована функция для форматирования типа данных Date
Нет комментариев

Разрезка ape с перегонкой в ogg по cue, с заполнением тегов.

Опубликовал bobathecar в 21:18 04.04.2010
Работает при условии единственного cue и ape файла в директории.
Код: Bash
1
2
3
4
5
6
# одной строкой
shnsplit -f *.cue -t %n_%t -o 'cust ext=ogg oggenc -q9 -o %f -' *ape; cuetag *cue *ogg 

# Или в несколько строк
shnsplit -f *.cue -t %n_%t -o 'cust ext=ogg oggenc -q9 -o %f -' *ape
cuetag *cue *ogg
Нет комментариев