|
Last change
on this file since 18e1952 was
555c7f8,
checked in by Tomasz Obrebski <to@…>, 12 years ago
|
|
dodanie mo�liwo�ci szybkiego uaktualniania s�ownika dla lema
|
-
Property mode set to
100755
|
|
File size:
997 bytes
|
| Line | |
|---|
| 1 | #! /bin/bash |
|---|
| 2 | |
|---|
| 3 | . /etc/utt/compdic.conf |
|---|
| 4 | |
|---|
| 5 | |
|---|
| 6 | while [ $# -gt 2 ] |
|---|
| 7 | do |
|---|
| 8 | case $1 |
|---|
| 9 | in |
|---|
| 10 | -d) |
|---|
| 11 | dictionary_home=$2 |
|---|
| 12 | shift 2 |
|---|
| 13 | ;; |
|---|
| 14 | |
|---|
| 15 | *) |
|---|
| 16 | echo "The arguments to use are" |
|---|
| 17 | echo "-d <dictionary-home-dir>" |
|---|
| 18 | shift 1 |
|---|
| 19 | ;; |
|---|
| 20 | esac |
|---|
| 21 | done |
|---|
| 22 | |
|---|
| 23 | |
|---|
| 24 | if [ $# -lt 2 ] |
|---|
| 25 | then |
|---|
| 26 | echo "Usage:" |
|---|
| 27 | echo " compdic-update [-d <dictionary-home-dir>] <dictionary-name> <difference> <difference> ..." |
|---|
| 28 | echo "where" |
|---|
| 29 | echo " <dictionary-home-dir> - dictionary home directory" |
|---|
| 30 | echo " <dictionary-name> - dictionary name" |
|---|
| 31 | echo " <difference> - diff format file containing paths to be added/removed from dictionary" |
|---|
| 32 | exit 0 |
|---|
| 33 | fi |
|---|
| 34 | |
|---|
| 35 | fst=$dictionary_home/$1.fst |
|---|
| 36 | cats=$dictionary_home/$1.cats |
|---|
| 37 | bin=$dictionary_home/$1.bin |
|---|
| 38 | shift 1 |
|---|
| 39 | diffs=$* |
|---|
| 40 | |
|---|
| 41 | echo running "compdic-update-fst $fst $diffs" |
|---|
| 42 | compdic-update-fst $fst $diffs |
|---|
| 43 | |
|---|
| 44 | echo running "compdic-fst-to-bin $fst $bin" |
|---|
| 45 | compdic-fst-to-bin $fst $bin |
|---|
| 46 | |
|---|
| 47 | echo running "compdic-update-cats $cats $diffs" |
|---|
| 48 | compdic-update-cats $cats $diffs |
|---|
Note: See
TracBrowser
for help on using the repository browser.
