[GRASS-dev] [GRASS GIS] #3699: v.extract: allow random extraction on subsets selected by where, cats and file options [PATCH]

[GRASS GIS]

#3699: v.extract: allow random extraction on subsets selected by where, cats and
file options [PATCH]
--------------------------+------------------------------
  Reporter:  mlennert     |      Owner:  grass-dev@…
      Type:  enhancement  |     Status:  new
  Priority:  normal       |  Milestone:  7.8.0
 Component:  Vector       |    Version:  svn-trunk
Resolution:               |   Keywords:  v.extract random
       CPU:  Unspecified  |   Platform:  Unspecified
--------------------------+------------------------------
Changes (by mlennert):

 * Attachment "v_extract_random_with_others.diff" added.

 patch to allow random sampling among subsets

-- 
Ticket URL: <https://trac.osgeo.org/grass/ticket/3699>
GRASS GIS <https://grass.osgeo.org>