Changeset c03f8a5 for src/compdic

Timestamp:

01/12/15 19:08:07 (10 years ago)

Author:

Tomasz Obrebski <obrebski@…>

Branches:

master

Parents:

854bece

git-author:

Tomasz Obrebski <obrebski@…> (01/12/15 19:08:07)

git-committer:

Tomasz Obrebski <obrebski@…> (01/12/15 19:08:07)

Message:

minor fixes

Location:

src/compdic

Files:

• Makefile (modified) (2 diffs)
• compdic (modified) (2 diffs)
• compdic-update (modified) (2 diffs)
• compdic-update-fst (modified) (2 diffs)

src/compdic/Makefile

@@ -23 +23 @@
         install -m 0755 compdic-fst-to-bin $(BIN_DIR)
 
+        install -m 0755 canonize $(BIN_DIR)
         install -m 0755 fsm2aut $(BIN_DIR)
         install -m 0755 aut2fsa $(BIN_DIR)
@@ -42 +43 @@
         rm $(BIN_DIR)/aut2fsa
         rm $(BIN_DIR)/lst2fstext
+        rm $(BIN_DIR)/canonize
 endif
 

src/compdic/compdic

@@ -1 +1 @@
 #!/bin/bash
+
+echo `basename $0` $@
 
 no_of_parts=0
@@ -37 +39 @@
 
 echo number of parts: $no_of_parts
-
 
 tempdir=`mktemp -d /tmp/compdic.XXXXXX`

src/compdic/compdic-update

@@ -2 +2 @@
 
 . /etc/utt/compdic.conf
-
 
 while [ $# -gt 2 ]
@@ -28 +27 @@
     echo "where"
     echo "    <dictionary-home-dir> - dictionary home directory"
-    echo "    <dictionary-name>     - dictionary name"
+    echo "    <dictionary-name>     - dictionary name (without extension)"
     echo "    <difference>          - diff format file containing paths to be added/removed from dictionary"
     exit 0

src/compdic/compdic-update-fst

@@ -1 +1 @@
 #! /bin/bash
+
+set -e
 
 if [ $# -lt 2 ]
@@ -34 +36 @@
 echo updating $dict ...
 
+if ! (( `cat $dicminus $dicplus | wc -l` ))
+then
+        echo "Empty diff."
+        exit 1
+fi
+
 if (( `cat $dicminus | wc -l` ))
 then