X-Git-Url: https://fleuret.org/cgi-bin/gitweb/gitweb.cgi?a=blobdiff_plain;f=selector.cc;h=a1b5b119a35eb36da41b944a695183213f207ab7;hb=c04bae20d28e2a15fff43974aa0804f425c65db2;hp=5b62ca884433060439662ca480d44da63c48f487;hpb=6041f7db9bee3bf4bbc49f028faaf791a962966a;p=selector.git
diff --git a/selector.cc b/selector.cc
index 5b62ca8..a1b5b11 100644
--- a/selector.cc
+++ b/selector.cc
@@ -1,276 +1,642 @@
-///////////////////////////////////////////////////////////////////////////
-// START_IP_HEADER //
-// //
-// This program is free software: you can redistribute it and/or modify //
-// it under the terms of the version 3 of the GNU General Public License //
-// as published by the Free Software Foundation. //
-// //
-// This program is distributed in the hope that it will be useful, but //
-// WITHOUT ANY WARRANTY; without even the implied warranty of //
-// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU //
-// General Public License for more details. //
-// //
-// You should have received a copy of the GNU General Public License //
-// along with this program. If not, see . //
-// //
-// Written by and Copyright (C) Francois Fleuret //
-// Contact for comments & bug reports //
-// //
-// END_IP_HEADER //
-///////////////////////////////////////////////////////////////////////////
-
/*
+ * selector is a simple command line utility for selection of strings
+ * with a dynamic pattern-matching.
+ *
+ * Copyright (c) 2009 Francois Fleuret
+ * Written by Francois Fleuret
+ *
+ * This file is part of selector.
+ *
+ * selector is free software: you can redistribute it and/or modify
+ * it under the terms of the GNU General Public License version 3 as
+ * published by the Free Software Foundation.
+ *
+ * selector is distributed in the hope that it will be useful, but
+ * WITHOUT ANY WARRANTY; without even the implied warranty of
+ * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
+ * General Public License for more details.
+ *
+ * You should have received a copy of the GNU General Public License
+ * along with selector. If not, see .
+ *
+ */
+
+// To use it as a super-history-search for bash:
+// alias h='selector -d -i -b -v -f <(history)'
- Here is the magical shell script for a smart bash-history. Note that
- the line remains in /tmp/selector.out, which may be a scurity concern.
-
- ./selector -f ~/.bash_history
- OLD_SETTINGS=`stty -g`
- stty -echo raw
- writevt `tty` "`cat /tmp/selector.out`"
- stty ${OLD_SETTINGS}
-
-*/
+#include
+#include
#include
-#include
-#include
-#include
-#include
#include
+#include
+#include
+#include
+#include
+#include
+#include
using namespace std;
-int buffer_size = 1024;
-int nb_lines_max = 100000;
+#define VERSION "1.0"
+
+const int buffer_size = 4096;
+
+// Yeah, global variables!
+
+int nb_lines_max = 1000;
char pattern_separator = ';';
+int output_to_vt_buffer = 0;
+int with_colors = 1;
+int zsh_history = 0, bash_history = 0;
+int inverse_order = 0;
+int remove_duplicates = 0;
+int use_regexp = 0;
+int case_sensitive = 0;
+char *title = 0;
+
+#define COLOR_MODELINE 1
+#define COLOR_HIGHLIGHTED_LINE 2
+
+//////////////////////////////////////////////////////////////////////
-int match(char *string, int nb_patterns, char **patterns) {
- for(int n = 0; n < nb_patterns; n++) {
- if(strstr(string, patterns[n]) == 0) return 0;
+void inject_into_tty_buffer(char *string) {
+ struct termios oldtio, newtio;
+ tcgetattr(STDIN_FILENO, &oldtio);
+ memset(&newtio, 0, sizeof(newtio));
+ // Set input mode (non-canonical, *no echo*,...)
+ tcsetattr(STDIN_FILENO, TCSANOW, &newtio);
+ // Put the selected string in the tty input buffer
+ for(char *k = string; *k; k++) {
+ ioctl(STDIN_FILENO, TIOCSTI, k);
}
- return 1;
+ // Restore the old settings
+ tcsetattr(STDIN_FILENO, TCSANOW, &oldtio);
}
+//////////////////////////////////////////////////////////////////////
+
void check_opt(int argc, char **argv, int n_opt, int n, const char *help) {
if(n_opt + n >= argc) {
- cerr << "Missing argument for " << argv[n_opt] << ". Expecting " << help << "." << endl;
+ cerr << "Missing argument for " << argv[n_opt] << "."
+ << " "
+ << "Expecting " << help << "."
+ << endl;
exit(1);
}
}
-int previous_visible(int current_line, int nb_lines, char **lines, int nb_patterns, char **patterns) {
- int line = current_line - 1;
- while(line >= 0 && !match(lines[line], nb_patterns, patterns)) line--;
- return line;
+int string_to_positive_integer(char *string) {
+ int error = 0;
+ int result = 0;
+
+ if(*string) {
+ for(char *s = string; *s; s++) {
+ if(*s >= '0' && *s <= '9') {
+ result = result * 10 + int(*s - '0');
+ } else error = 1;
+ }
+ } else error = 1;
+
+ if(error) {
+ cerr << "Value `" << string << "' is not a positive integer." << endl;
+ exit(1);
+ }
+
+ return result;
}
-int next_visible(int current_line, int nb_lines, char **lines, int nb_patterns, char **patterns) {
- int line = current_line + 1;
- while(line < nb_lines && !match(lines[line], nb_patterns, patterns)) line++;
+void error_feedback() {
+ flash();
+}
- if(line < nb_lines)
- return line;
- else
- return -1;
+//////////////////////////////////////////////////////////////////////
+// A quick and dirty hash table
+
+// The table itself stores index of the strings in a char
+// **table. When a string is added, if it was already in the table,
+// the new index replaces the previous one.
+
+int *new_hash_table(int hash_table_size) {
+ int *result;
+ result = new int[hash_table_size];
+ for(int k = 0; k < hash_table_size; k++) {
+ result[k] = -1;
+ }
+ return result;
}
-void update_screen(int *current_line, int motion,
- int nb_lines, char **lines,
- char *pattern_list,
- int noblink) {
+// Adds new_string in the table, associated to new_index. If this
+// string was not already in the table, returns -1. Otherwise, returns
+// the previous index it had.
- char buffer[buffer_size];
+int test_and_add(char *new_string, int new_index,
+ char **strings, int *hash_table, int hash_table_size) {
+ unsigned int code = 0;
- // We split the pattern list into individual patterns
+ // This is my recipe. I checked, it seems to work (as long as
+ // hash_table_size is not a multiple of 387433 that should be okay)
- int nb_patterns = 1;
+ for(int k = 0; new_string[k]; k++) {
+ code = code * 387433 + (unsigned int) (new_string[k]);
+ }
- for(char *s = pattern_list; *s; s++) {
- if(*s == pattern_separator) {
- nb_patterns++;
+ code = code % hash_table_size;
+
+ while(hash_table[code] >= 0) {
+ // There is a string with that code
+ if(strcmp(new_string, strings[hash_table[code]]) == 0) {
+ // It is the same string, we keep a copy of the stored index
+ int result = hash_table[code];
+ // Put the new one
+ hash_table[code] = new_index;
+ // And return the previous one
+ return result;
}
+ // This collision was not the same string, let's move to the next
+ // in the table
+ code = (code + 1) % hash_table_size;
}
- char splitted_patterns[strlen(pattern_list) + 1];
- char *patterns[nb_patterns];
-
- strcpy(splitted_patterns, pattern_list);
+ // This string was not already in there, store the index in the
+ // table and return -1
+ hash_table[code] = new_index;
+ return -1;
+}
- int n = 0;
- char *last_pattern_start = splitted_patterns;
- for(char *s = splitted_patterns; n < nb_patterns; s++) {
- if(*s == pattern_separator || *s == '\0') {
- *s = '\0';
- patterns[n++] = last_pattern_start;
- last_pattern_start = s + 1;
+//////////////////////////////////////////////////////////////////////
+// A matcher matches either with a collection of substrings, or with a
+// regexp
+
+struct matcher_t {
+ regex_t preg;
+ int regexp_error;
+ int nb_patterns;
+ int case_sensitive;
+ char *splitted_patterns, **patterns;
+};
+
+int match(char *string, matcher_t *matcher) {
+ if(matcher->nb_patterns >= 0) {
+ if(matcher->case_sensitive) {
+ for(int n = 0; n < matcher->nb_patterns; n++) {
+ if(strstr(string, matcher->patterns[n]) == 0) return 0;
+ }
+ } else {
+ for(int n = 0; n < matcher->nb_patterns; n++) {
+ if(strcasestr(string, matcher->patterns[n]) == 0) return 0;
+ }
}
+ return 1;
+ } else {
+ return regexec(&matcher->preg, string, 0, 0, 0) == 0;
}
+}
- // We now take care of printing the lines per se
+void free_matcher(matcher_t *matcher) {
+ if(matcher->nb_patterns >= 0) {
+ delete[] matcher->splitted_patterns;
+ delete[] matcher->patterns;
+ } else {
+ if(!matcher->regexp_error) regfree(&matcher->preg);
+ }
+}
- int console_width = getmaxx(stdscr);
- int console_height = getmaxy(stdscr);
+void initialize_matcher(int use_regexp, int case_sensitive,
+ matcher_t *matcher, const char *pattern) {
- int nb_printed_lines = 1, last_printer_line = -1;
+ if(use_regexp) {
+ matcher->nb_patterns = -1;
+ matcher->regexp_error = regcomp(&matcher->preg, pattern, case_sensitive ? 0 : REG_ICASE);
+ } else {
+ matcher->regexp_error = 0;
+ matcher->nb_patterns = 1;
+ matcher->case_sensitive = case_sensitive;
- // First, we find a visible line. In priority: The current, or the
- // first visible after it, or the first visible before it.
+ for(const char *s = pattern; *s; s++) {
+ if(*s == pattern_separator) {
+ matcher->nb_patterns++;
+ }
+ }
- int new_line;
- if(match(lines[*current_line], nb_patterns, patterns)) {
- new_line = *current_line;
- } else {
- new_line = next_visible(*current_line, nb_lines, lines, nb_patterns, patterns);
- if(new_line < 0) {
- new_line = previous_visible(*current_line, nb_lines, lines, nb_patterns, patterns);
+ matcher->splitted_patterns = new char[strlen(pattern) + 1];
+ matcher->patterns = new char*[matcher->nb_patterns];
+
+ strcpy(matcher->splitted_patterns, pattern);
+
+ int n = 0;
+ char *last_pattern_start = matcher->splitted_patterns;
+ for(char *s = matcher->splitted_patterns; n < matcher->nb_patterns; s++) {
+ if(*s == pattern_separator || *s == '\0') {
+ *s = '\0';
+ matcher->patterns[n++] = last_pattern_start;
+ last_pattern_start = s + 1;
+ }
}
}
+}
- // If we found a visible line and we should move, let's move
-
- if(new_line >= 0 && motion != 0) {
- int l = new_line;
- l += motion;
+//////////////////////////////////////////////////////////////////////
+// Buffer edition
+
+void delete_char(char *buffer, int *position) {
+ if(buffer[*position]) {
+ int c = *position;
+ while(c < buffer_size && buffer[c]) {
+ buffer[c] = buffer[c+1];
+ c++;
+ }
+ } else error_feedback();
+}
- if(motion > 0) {
- // We want to go down, let's find the first visible line below
- l = next_visible(new_line, nb_lines, lines, nb_patterns, patterns);
- if(l >= 0) {
- new_line = l;
+void backspace_char(char *buffer, int *position) {
+ if(*position > 0) {
+ if(buffer[*position]) {
+ int c = *position - 1;
+ while(buffer[c]) {
+ buffer[c] = buffer[c+1];
+ c++;
}
} else {
- // We want to go up, let's find the first visible line above
- l = previous_visible(new_line, nb_lines, lines, nb_patterns, patterns);
- if(l >= 0) {
- new_line = l;
- }
+ buffer[*position - 1] = '\0';
}
- }
- if(!noblink) {
- clear();
+ (*position)--;
+ } else error_feedback();
+}
+
+void insert_char(char *buffer, int *position, char character) {
+ if(strlen(buffer) < buffer_size - 1) {
+ int c = *position;
+ char t = buffer[c], u;
+ while(t) {
+ c++;
+ u = buffer[c];
+ buffer[c] = t;
+ t = u;
+ }
+ c++;
+ buffer[c] = '\0';
+ buffer[(*position)++] = character;
+ } else error_feedback();
+}
+
+void kill_before_cursor(char *buffer, int *position) {
+ int s = 0;
+ while(buffer[*position + s]) {
+ buffer[s] = buffer[*position + s];
+ s++;
}
+ buffer[s] = '\0';
+ *position = 0;
+}
- use_default_colors();
+void kill_after_cursor(char *buffer, int *position) {
+ buffer[*position] = '\0';
+}
- addstr("\n");
+//////////////////////////////////////////////////////////////////////
+
+int previous_visible(int current_line, int nb_lines, char **lines, matcher_t *matcher) {
+ int line = current_line - 1;
+ while(line >= 0 && !match(lines[line], matcher)) line--;
+ return line;
+}
- // Here new_line is either a line number matching the patterns, or -1
+int next_visible(int current_line, int nb_lines, char **lines, matcher_t *matcher) {
+ int line = current_line + 1;
+ while(line < nb_lines && !match(lines[line], matcher)) line++;
- if(new_line >= 0) {
+ if(line < nb_lines)
+ return line;
+ else
+ return -1;
+}
- int first_line = new_line, last_line = new_line, nb_match = 1;
+//////////////////////////////////////////////////////////////////////
- // We find the first and last line to show, so that the total of
- // visible lines between them (them include) is console_height - 1
+void update_screen(int *current_line, int *temporary_line, int motion,
+ int nb_lines, char **lines,
+ int cursor_position,
+ char *pattern) {
- while(nb_match < console_height-1 && (first_line > 0 || last_line < nb_lines - 1)) {
+ char buffer[buffer_size];
+ matcher_t matcher;
- if(first_line > 0) {
- first_line--;
- while(first_line > 0 && !match(lines[first_line], nb_patterns, patterns)) {
- first_line--;
- }
- if(match(lines[first_line], nb_patterns, patterns)) {
- nb_match++;
- }
+ initialize_matcher(use_regexp, case_sensitive, &matcher, pattern);
+
+ // We now take care of printing the lines per se
+
+ int console_width = getmaxx(stdscr);
+ int console_height = getmaxy(stdscr);
+
+ // First, we find a visible line. In priority: The current, or the
+ // first visible after it, or the first visible before it.
+
+ int nb_printed_lines = 0;
+
+ clear();
+ use_default_colors();
+ addstr("\n");
+
+ if(matcher.regexp_error) {
+ addstr("[regexp error]");
+ } else if(nb_lines > 0) {
+ int new_line;
+ if(match(lines[*current_line], &matcher)) {
+ new_line = *current_line;
+ } else {
+ new_line = next_visible(*current_line, nb_lines, lines, &matcher);
+ if(new_line < 0) {
+ new_line = previous_visible(*current_line, nb_lines, lines, &matcher);
}
+ }
- if(last_line < nb_lines - 1) {
- last_line++;
- while(last_line < nb_lines - 1 && !match(lines[last_line], nb_patterns, patterns)) {
- last_line++;
- }
+ // If we found a visible line and we should move, let's move
- if(match(lines[last_line], nb_patterns, patterns)) {
- nb_match++;
+ if(new_line >= 0 && motion != 0) {
+ int l = new_line;
+ if(motion > 0) {
+ // We want to go down, let's find the first visible line below
+ for(int m = 0; l >= 0 && m < motion; m++) {
+ l = next_visible(l, nb_lines, lines, &matcher);
+ if(l >= 0) {
+ new_line = l;
+ }
+ }
+ } else {
+ // We want to go up, let's find the first visible line above
+ for(int m = 0; l >= 0 && m < -motion; m++) {
+ l = previous_visible(l, nb_lines, lines, &matcher);
+ if(l >= 0) {
+ new_line = l;
+ }
}
}
}
- // Now we display them
+ // Here new_line is either a line number matching the patterns, or -1
+
+ if(new_line >= 0) {
- for(int l = first_line; l <= last_line; l++) {
- if(match(lines[l], nb_patterns, patterns)) {
- int k = 0;
+ int first_line = new_line, last_line = new_line, nb_match = 1;
- while(lines[l][k] && k < buffer_size - 2 && k < console_width - 2) {
- buffer[k] = lines[l][k];
- k++;
+ // We find the first and last line to show, so that the total of
+ // visible lines between them (them include) is console_height - 1
+
+ while(nb_match < console_height-1 && (first_line > 0 || last_line < nb_lines - 1)) {
+
+ if(first_line > 0) {
+ first_line--;
+ while(first_line > 0 && !match(lines[first_line], &matcher)) {
+ first_line--;
+ }
+ if(match(lines[first_line], &matcher)) {
+ nb_match++;
+ }
}
- if(noblink || l == new_line) {
- while(k < console_width) {
- buffer[k++] = ' ';
+ if(nb_match < console_height - 1 && last_line < nb_lines - 1) {
+ last_line++;
+ while(last_line < nb_lines - 1 && !match(lines[last_line], &matcher)) {
+ last_line++;
+ }
+
+ if(match(lines[last_line], &matcher)) {
+ nb_match++;
}
}
+ }
- buffer[k++] = '\n';
- buffer[k++] = '\0';
+ // Now we display them
- if(l == new_line) {
- attron(COLOR_PAIR(2));
- addnstr(buffer, console_width);
- attroff(COLOR_PAIR(2));
- } else {
- addnstr(buffer, console_width);
+ for(int l = first_line; l <= last_line; l++) {
+ if(match(lines[l], &matcher)) {
+ int k = 0;
+
+ while(lines[l][k] && k < buffer_size - 2 && k < console_width - 2) {
+ buffer[k] = lines[l][k];
+ k++;
+ }
+
+ // We fill the rest of the line with blanks if either we did
+ // not clear() or if this is the highlighted line
+
+ if(l == new_line) {
+ while(k < console_width) {
+ buffer[k++] = ' ';
+ }
+ }
+
+ buffer[k++] = '\n';
+ buffer[k++] = '\0';
+
+ // Highlight the highlighted line ...
+
+ if(l == new_line) {
+ if(with_colors) {
+ attron(COLOR_PAIR(COLOR_HIGHLIGHTED_LINE));
+ addnstr(buffer, console_width);
+ attroff(COLOR_PAIR(COLOR_HIGHLIGHTED_LINE));
+ } else {
+ attron(A_STANDOUT);
+ addnstr(buffer, console_width);
+ attroff(A_STANDOUT);
+ }
+ } else {
+ addnstr(buffer, console_width);
+ }
+
+ nb_printed_lines++;
}
+ }
- last_printer_line = l;
- nb_printed_lines++;
+ if(motion != 0) {
+ *current_line = new_line;
}
}
- if(motion != 0) {
- *current_line = new_line;
- }
- }
+ *temporary_line = new_line;
- if(noblink) { // Erase the rest of the window. That's slightly ugly.
- int k = 0;
- while(k < console_width) {
- buffer[k++] = ' ';
- }
- buffer[k++] = '\n';
- buffer[k++] = '\0';
- for(int l = nb_printed_lines; l < console_height; l++) {
- addnstr(buffer, console_width);
+ if(nb_printed_lines == 0) {
+ addnstr("[no selection]\n", console_width);
}
+ } else {
+ addnstr("[empty choice]\n", console_width);
}
// Draw the modeline
- sprintf(buffer, "%d/%d pattern: %s",
- nb_printed_lines - 1,
- nb_lines,
- pattern_list);
+ move(0, 0);
- for(int k = strlen(buffer); k < console_width; k++) buffer[k] = ' ';
+ if(with_colors) {
+ attron(COLOR_PAIR(COLOR_MODELINE));
+ } else {
+ attron(A_REVERSE);
+ }
+
+ for(int k = 0; k < console_width; k++) buffer[k] = ' ';
buffer[console_width] = '\0';
+ addnstr(buffer, console_width);
move(0, 0);
- attron(COLOR_PAIR(1));
- addnstr(buffer, console_width);
- attroff(COLOR_PAIR(1));
- refresh(); // After doing something on the display, we refresh it
+ // There must be a more elegant way of moving the cursor at a
+ // location met during display
+
+ int cursor_x = 0;
+
+ if(title) {
+ addstr(title);
+ addstr(" ");
+ cursor_x += strlen(title) + 1;
+ }
+
+ sprintf(buffer, "%d/%d ", nb_printed_lines, nb_lines);
+ addstr(buffer);
+ cursor_x += strlen(buffer);
+
+ addnstr(pattern, cursor_position);
+ cursor_x += cursor_position;
+
+ if(pattern[cursor_position]) {
+ addstr(pattern + cursor_position);
+ } else {
+ addstr(" ");
+ }
+
+ if(use_regexp || case_sensitive) {
+ addstr("[");
+ if(use_regexp) {
+ addstr("regexp");
+ }
+
+ if(case_sensitive) {
+ if(use_regexp) {
+ addstr(",");
+ }
+ addstr("case");
+ }
+ addstr("]");
+ }
+
+ move(0, cursor_x);
+
+ if(with_colors) {
+ attroff(COLOR_PAIR(COLOR_MODELINE));
+ } else {
+ attroff(A_REVERSE);
+ }
+
+ // We are done
+
+ refresh();
+ free_matcher(&matcher);
+}
+
+//////////////////////////////////////////////////////////////////////
+
+void read_file(const char *input_filename,
+ int nb_lines_max, int *nb_lines, char **lines,
+ int hash_table_size, int *hash_table) {
+
+ char buffer[buffer_size], raw_line[buffer_size];;
+
+ ifstream file(input_filename);
+
+ if(file.fail()) {
+ cerr << "Can not open " << input_filename << endl;
+ exit(1);
+ }
+
+ while(*nb_lines < nb_lines_max && !file.eof()) {
+
+ file.getline(raw_line, buffer_size);
+
+ if(raw_line[0]) {
+
+ if(file.fail()) {
+ cerr << "Line too long:" << endl;
+ cerr << raw_line << endl;
+ exit(1);
+ }
+
+ char *s, *t;
+ const char *u;
+
+ s = buffer;
+ t = raw_line;
+ while(*t) {
+ u = unctrl(*t++);
+ while(*u) { *s++ = *u++; }
+ }
+ *s = '\0';
+
+ s = buffer;
+
+ if(zsh_history && *s == ':') {
+ while(*s && *s != ';') s++;
+ if(*s == ';') s++;
+ }
+
+ if(bash_history && (*s == ' ' || (*s >= '0' && *s <= '9'))) {
+ while(*s == ' ' || (*s >= '0' && *s <= '9')) s++;
+ }
+
+ int dup;
+
+ if(hash_table) {
+ dup = test_and_add(s, *nb_lines, lines, hash_table, hash_table_size);
+ } else {
+ dup = -1;
+ }
+
+ if(dup < 0) {
+ lines[*nb_lines] = new char[strlen(s) + 1];
+ strcpy(lines[*nb_lines], s);
+ } else {
+ // The string was already in there, so we do not allocate a
+ // new string but use the pointer to the first occurence of it
+ lines[*nb_lines] = lines[dup];
+ lines[dup] = 0;
+ }
+
+ (*nb_lines)++;
+ }
+ }
}
//////////////////////////////////////////////////////////////////////
int main(int argc, char **argv) {
- char buffer[buffer_size];
- char *lines[nb_lines_max];
- int noblink = 0;
+
+ if(!ttyname(STDIN_FILENO)) {
+ cerr << "The standard input is not a tty." << endl;
+ exit(1);
+ }
+
+ int color_fg_modeline, color_bg_modeline;
+ int color_fg_highlight, color_bg_highlight;
+
+ color_fg_modeline = COLOR_WHITE;
+ color_bg_modeline = COLOR_BLACK;
+ color_fg_highlight = COLOR_BLACK;
+ color_bg_highlight = COLOR_YELLOW;
+
+ setlocale(LC_ALL, "");
char input_filename[buffer_size], output_filename[buffer_size];
- strcpy(input_filename, "/dev/stdin");
- strcpy(output_filename, "/tmp/selector.out");
+
+ strcpy(input_filename, "");
+ strcpy(output_filename, "");
int i = 1;
- while(i < argc) {
+ int error = 0, show_help = 0;
+ int rest_are_files = 0;
+
+ while(!error && !show_help && i < argc && argv[i][0] == '-' && !rest_are_files) {
+
if(strcmp(argv[i], "-o") == 0) {
check_opt(argc, argv, i, 1, "